Para este último, era posible tener un conjunto cuyos elementos satisfacían cierta propiedad.