ГОСТ Р ИСО 18629-14—2011
(forall <?d1 ?d2 ?d3)
(implies (and(greater ?d1 ?d2)
(greater ?d2 ?d3))
(greater ?d1 ?d3)))
8.7.10 Аксиома 10
Никакой из дополнительных элементов не может превышать самого себя.
(forall (?d)
(not (greater ?d ?d)))
П р и м е ч а н и е — Наивысшим отношением упорядочения явпяется строгое упорядочение.
8.7.11 Аксиома 11
Отношение упорядочения по адаитивным элементам является линейным упорядочением.
(forall (?d1 ?d2)
(or (greater ?d1 ?d2)
(greater ?d2 ?d1)
(= ?d1 ?d2)))
11