Para cada subconjunto "M" basta exigir la existencia del supremo, ya que