Математическая логика и теория алгоритмов КР№2 В14 задача №5
Для бинарного отношения X ρ Y ⇔ «X \ Y ≠ ∅», определенного на
множестве всех подмножеств множества целых чисел, выясните, какими свойствами оно обладает (рефлексивность, симметричность, антисимметричность, транзитивность) и какими не обладает.