De beschrijvende notaties: { : } en { | } betekenen allebei hetzelfde. Met deze notatie kan je een eigenschap geven aan de verzameling.
verzameling pannen = {koekenpan, wokpan, soeppan | de pan heeft een steel)
Dit lees je als: De verzameling pannen, die bestaat uit een koekenpan, een wokpan en een soeppan, waarvoor geldt dat ze een steel hebben.
Dus uiteindelijk zou deze verzameling alleen bestaan uit een wokpan en een koekenpan