La relación de orden se puede redefinir así: si y solo si existe otro número natural que cumple .