X que es maximal con respecto a esa propiedad.