Bezeichnet in Mathematik/Logik/Informatik definierte Halbordnung, in der Operatoren eines Ausdrucks in Infix-Schreibweise auszuwerten sind.