Определить свойства бинарного отношения заданного на множестве
На рисунке это выглядит так. Свойства на скриншоте