транзитивность
71Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… …
72Отношение эквивалентности — У этого термина существуют и другие значения, см. Эквивалентность. Отношение эквивалентности ( ) на множестве   это бинарное отношение, для которого выполнены следующие условия: Рефлексивность: для любого в , Симметричность: если …
73Аксиоматика вещественных чисел — система аксиом, один из способов определения вещественных (действительных) чисел. Далее символ обозначает логическое «и». Содержание 1 Аксиомы сложения …
74Евдокс Книдский — В Википедии есть статьи о других людях с именем Евдоксий. Евдокс Книдский др. греч. Εὔδοξος ὁ Κνίδιος Дата рождения: ок. 408 год до н. э. Место рождения …
75Алгоритм сортировки — это алгоритм для упорядочения элементов в списке. В случае, когда элемент списка имеет несколько полей, поле, служащее критерием порядка, называется ключом сортировки. На практике в качестве ключа часто выступает число, а в остальных полях… …
76Отношение порядка — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Бинарное отношение на мно …
77Дедуктивное умозаключение — Дедукция (лат. deductio  выведение)  метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением… …
78Частично упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Подмножества {x, y, z}, упо …
79Отношение (математика) — У этого термина существуют и другие значения, см. Отношение. Отношение  математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Отношения обычно классифицируются по количеству связываемых объектов …
80Парадокс Кондорсе — Парадокс Кондорсе  парадокс теории общественного выбора, впервые описан маркизом Кондорсе в 1785 г. Он заключается в том, что при наличии более двух альтернатив и более двух избирателей коллективная ранжировка альтернатив может быть… …
