Математическая энциклопедия - направление

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

В. И. Пономарев.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985