Universaliteit

Universaliteit betekent in de wiskunde en logica dat een eigenschap voor alle elementen van een verzameling geldt. De bijbehorende universele kwantor (of al-kwantor) wordt genoteerd als ${\displaystyle \forall }$.

De alkwantor bestaat uit drie delen:

• Declaratie van gebonden variabelen;
• Specificatie van het domein;
• Propositie.

Deze zullen hieronder uitvoeriger beschreven worden.