\(\left\{ x;x\in\mathbb{N},P\left(x\right)\right\} \)でも\(\left\{ x\in\mathbb{N};P\left(x\right)\right\} \)でも同じである。
\(\left\{ a,b\right\} =\left\{ b,a\right\} \)のように順序は問わない。
\(\left\{ a,a,a\right\} =\left\{ a,a\right\} =\left\{ a\right\} \)のように同じ元が2つ以上あっても1つあるのと同じである。
\(x\)が集合\(A\)の元で条件\(B\left(x\right)\)を満たすとき、\(\left\{ x;x\in A,B\left(x\right)\right\} =\left\{ x\in A;B\left(x\right)\right\} \)となる。