О Бинарных Отношениях И Фактор Множествах