Die ''Inklusion'' als Beziehung zwischen Mengen erfüllt die drei Eigenschaften einer partiellen Ordnungsrelation, sie ist nämlich reflexiv, antisymmetrisch und transitiv.
''[[Mathematik]]:'' [[Teilmengenbeziehung]], siehe [[Teilmenge]]