9.4.2.3.2. Параграф о бинарных отношениях из книги Андерсона Д. А. "Дискретная математика и комбинаторика"