Условие:
Задать списком и матрицей отношение
, если М – булеан множества A={a,b,c}, а р означает «быть строгим включением».

Задать списком и матрицей отношение
, если М – булеан множества A={a,b,c}, а р означает «быть строгим включением».
Согласно определению булеана множества (множества всевозможных его подмножеств), имеем:

Тогда список пар, входящих в описанное бинарное отношение :