Llamaremos "conjunto" a las clases capaces de ser, ellas mismas, objetos de otras clases.