"О бинарных отношениях и фактор-множествах" - читать интересную книгу автора (Баскаков А.Г.)