Para todo valor "x" de N, existen valores "y" de N tal que "x" - "y" no pertenece a N, eso se da en todos los casos en los que "y" es mayor que "x", por ejemplo, 3 - 5 no pertenece a N.