Vorangehen in einer Relation

Zeichen und Codes zum Kopieren

Weitere Mathematik

Beschreibung

Das Zeichen für das Vorangehen in einer Relation ⊰ zeigt einen nach links weisenden Winkel, durch dessen Mitte ein waagerechter Strich läuft, der rechts in einen kleinen Bogen ausläuft. Das Zeichen kam 1993 in Unicode. In der Mengenlehre und der Ordnungstheorie schreibt man damit, dass ein Element in einer festgelegten Reihenfolge vor einem anderen kommt – ohne dass es dabei um Größe im Sinne von Zahlen geht. Vom Kleinerzeichen < unterscheidet es der Strich, vom Nachfolgen ⊱ die Richtung des Winkels.