Дано
множество А и заданные на нем бинарное отношение и тождественное отношение наряду с другими обязательно
обладает свойством…