Colonnotatie
Colonnotatie is een notatiewijze in wiskunde en informatica waarbij een tweepunt wordt gebruikt om een relatie, voorwaarde of type aan te geven. De notatie wordt vooral toegepast in set-builder-notatie en bij het expliciet maken van typen of domeinen. In het Nederlands wordt ook wel gesproken van 'colon-notatie' of 'kolonnotatie'.
In set-builder-notatie wordt een verzameling vaak als volgt geschreven: A = { x ∈ R : x^2 < 2 }. Hier geeft
Bij functie- en typeaanduidingen is het colon gebruikt om de domein- en codomeinrelatie vast te leggen: f
Voordelen van colonnotatie zijn duidelijkheid en beknoptheid; het scheidt expliciet de bron (de domein of variabele)
Samengevat is colonnotatie een compacte manier om voorwaarden of typen aan te geven binnen wiskundige definities
---