Para nieuporządkowana

Para nieuporządkowana $\{a,b\}$ – zbiór zawierający elementy $a$ i $b$ i nie zawierający żadnego innego elementu. Jego istnienie gwarantuje aksjomat pary.

Jeżeli $a=b,$ to para nieuporządkowana $\{a,b\}$ składa się z jednego tylko elementu.