Направление

- бинарное отношение [img: http://localhost:8080/file/031503-50.jpg] на множестве Атакое, что 1) если [img: http://localhost:8080/file/031503-51.jpg] для любых [img: http://localhost:8080/file/031503-52.jpg]; 2) для любого [img: http://localhost:8080/file/031503-53.jpg] всегда [img: http://localhost:8080/file/031503-54.jpg]; 3) каковы бы ни были [img: http://localhost:8080/file/031503-55.jpg], существует [img: http://localhost:8080/file/031503-56.jpg] такое, что [img: http://localhost:8080/file/031503-57.jpg] [img: http://localhost:8080/file/031503-58.jpg] (свойство Мура - Смита). В. И. Пономарев.