Направление
Бинарное отношение на множестве Атакое, что 1) если для любых ; 2) для любого всегда ; 3) каковы бы ни были , существует такое, что (свойство Мура — Смита). В. И. Пономарев.
Бинарное отношение на множестве Атакое, что 1) если для любых ; 2) для любого всегда ; 3) каковы бы ни были , существует такое, что (свойство Мура — Смита). В. И. Пономарев.