Дано множество и его подмножества , и , причём
, , .
Пусть и – булеан множества , т.е. множество всех подмножеств множества .
Тогда истинно утверждение:
На множестве введено бинарное отношение, обозначенное буквой (если элементы и элемент находится в отношении с элементом , то записываем ).
Это отношение определяется так: , если делится (нацело) на число .
Пусть множество . Тогда множество есть множество …