Definição de um conjunto em compreensão e em extensão