para todo real a se cumple que x ∈ A =⇒ x ≤ a (Un condicional es siempre