Relation d'ordre strict

Une relation d'ordre strict est une relation binaire antiréflexive, antisymétrique et transitive^[1].

• La relation < est une relation d'ordre strict dans l'ensemble des nombres réels.
• La relation ⊊ est une relation d'ordre strict dans l’ensemble des parties d'un ensemble non-vide.

• (en) B. A. Davey et H. A. Priestley, Introduction to Lattices and Order, Cambridge, Cambridge University Press, 2002 (ISBN 978-0-521-78451-1, DOI 10.1017/CBO9780511809088 , lire en ligne)

• Portail des mathématiques