Die ''Relation'' ~: „a~b, wenn a größer oder gleich b ist“, ist eine transitive ''Relation'' auf den reellen Zahlen.
''[[Mathematik]], [[Logik]]:'' eine Menge von Paaren oder [[Tupel]]n einer Grundgesamtheit, ein zwei- oder mehrstelliges [[Prädikat]]