Aplicações de teoria dos conjuntos