Um conjunto pode ser definido por listagem, quando seus objetos, supostamente, existem. Agora, para definir um conjunto por propriedade, devemos utilizar um conjunto que, supostamente, já existe antes da aplicação do enunciado que expressa a propriedade na seleção dos elementos que compõem o conjunto. Para que não seja preciso especificar sempre, quais objetos ou conjuntos prévios a cada vez que usamos estes procedimentos de definição, admitimos a existência de um conjunto único que contém todos os objetos que são necessários, em um dado contexto e esse conjunto é o conjunto universo.

Sejam A e B, subconjuntos do conjunto universo “Z” e “N”, onde:

A = {x ∈ Z | x é par e ímpar} e B = {x ∈ N | x é primo e 24 ≤ x ≤ 41}

Os objetos ou nesse caso números pertencentes a esses subconjuntos são melhor representados em:
Alternativas
Alternativa 1:
A = {0} e B é vazio

Alternativa 2:
A é vazio e B é Vazio

Alternativa 3:
A é vazio e B = {23}

Alternativa 4:
A é vazio e B = {23, 29}

Alternativa 5:
A é vazio e B = {29, 31, 37, 41}