М – булеан множества A={a,b,c}, а ρ означает «быть дополнением к».

М – булеан множества A={a,b,c}, а ρ означает «быть дополнением к».

Запишем булеан множества А:
M=∅,a,b,c,a,b,a,c,b,c,a,b,c.
Таким образом, имеем отношение:
R=x,yx,y∈M, x есть дополнение к y}
или
R=x,yx,y∈M, x=A\y.
Зададим отношение R списком упорядоченных пар:
R=a,b,c,∅, a,b, c, a,c,b, {b,c,a,
a,b,c, b,a,c, c,a,b,{∅,a,b,c)}.
Полагая, что столбцам матрицы (слева направо) и ее строкам (сверху вниз) соответствуют элементы множества М в том порядке, как они записаны выше, имеем:
R=0 0 0 0 0 0 0 10 0 0 0 0 0 1 00 0 0 0 0 1 0 00 0 0 0 1 0 0 00 0 0 1 0 0 0 00 0 1 0 0 0 0 00 1 0 0 0 0 0 01 0 0 0 0 0 0 0