Для заданного множества A и заданного отношения R на множестве элементов A построить матрицу M

def is_reflexive(M):
    """
    Проверка на рефлексивность
    """
    n = len(M)
    for i in range(n):
        if M[i][i] == 0:
            return False
    return True
 
def is_antireflexive(M):
    """
    Проверка на антирефлексивность
    """
    n = len(M)
    for i in range(n):
        if M[i][i] == 1:
            return False
    return True
 
def is_symmetric(M):
    """
    Проверка на симметричность
    """
    n = len(M)
    for i in range(n):
        for j in range(i, n):
            if M[i][j] != M[j][i]:
                return False
    return True
 
def is_antisymmetric(M):
    """
    Проверка на антисимметричность
    """
    n = len(M)
    for i in range(n):
        for j in range(i, n):
            if M[i][j] == 1 and M[j][i] == 1 and i != j:
                return False
    return True
 
def is_transitive(M):
    """
    Проверка на транзитивность
    """
    n = len(M)
    for i in range(n):
        for j in range(n):
            for k in range(n):
                if M[i][j] == 1 and M[j][k] == 1 and M[i][k] != 1:
                    return False
    return True
 
# Пример использования
A = [1, 4, 6, 9]
M = [[1, 1, 1, 1],
     [0, 1, 1, 1],
     [0, 0, 1, 1],
     [0, 0, 0, 1]]
 
print(f"Рефлексивность: {is_reflexive(M)}")
print(f"Антирефлексивность: {is_antireflexive(M)}")
print(f"Симметричность: {is_symmetric(M)}")
print(f"Антисимметричность: {is_antisymmetric(M)}")
print(f"Транзитивность: {is_transitive(M)}")