Propriedades de conjuntos definíveis na lógica de primeira ordem