Origem: Wikilivros, livros abertos por um mundo aberto.
Conjunto é uma coleção de elementos.
- Ex. Considere

Dado um elemento x e um conjunto A, ocorre que: Ou
, ou
.
- Ex. Considere
, logo 
- Ex. Considere
, logo 
Dado A e B, dois conjuntos podemos dizer, de todas uma:
- todos os elementos de A estão em B, isto é,
, onde lê-se, A está contido em B. Ou que A é subconjunto de B.
- Ex.
. Como
, logo 
- todos os elementos de B estão em A, isto é,
, onde lê-se, B está contido em A. Ou que B é subconjunto de A.
- A e B compartilham do mesmos elementos, isto é,
, onde lê-se, A é igual a B.
- alguns elementos são comuns aos dois conjuntos, isto é,
.
- Ex.
. Como 
- nenhum elemento é comum aos dois conjuntos, isto é,
.
- Ex.
. Como 
Portanto, sejam A e B dois conjuntos, acontecerá que
Considere A,B tal que
podemos afirmar que:
- A não é subconjunto de B. Logo existe pelo menos um elemento de A que não está em B, ou seja,
.
- Ex
. Como
mesmo que
.
- Reflexidade:
. Dado
.
- Antisimétrica: Se
, então
. Como
.