Kleiner-dan met punt

Hij markeert een specifiekere relatie dan gewoon ‘kleiner dan’. In de ordetheorie, die onderzoekt hoe wiskundige objecten geordend zijn, kan ⋖ een overdekkingsrelatie aangeven. a ⋖ b betekent dan dat a onder b ligt en dat geen element van de geordende verzameling strikt tussen beide ligt. Je zegt dat ‘b het element a overdekt’.

Bij de gehele getallen in hun gewone volgorde geldt volgens deze afspraak bijvoorbeeld 2 ⋖ 3, maar niet 2 ⋖ 4: daar zit 3 tussen. De verzameling doet ertoe: bij de reële getallen liggen ook tussen 2 en 3 getallen.

Dit is een gevestigde toepassing, geen universele definitie van ⋖. Controleer de definitie van de auteur voordat je het teken als overdekkingsrelatie leest.