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