Propriedades da inclusão de conjuntos