12. Понятие бинарного отношения между элементами одного множества