Соответствия и бинарные отношения