Propiedades:

• Todo neN (sea un elemento "n" perteneciente a los números naturales "N"), cumple que n > = 1

 Demostración: 
Sea H {xeR : x >=1} 

*H es inductivo por definición de números naturales, ocurre que NcH

 Si neN, luego neH, luego n>=1   

• No existe neN : 1 < n < 2