9.4.2.3.3. Параграф о бинарных отношениях из книги Столл Р.Р. "Множества. Логика. Аксиоматические теории"