A la izquierda de los diagramas, las definiciones de los conjuntos "por enumeración" y "por comprensión".