Класс бинарных отношений в математике.