[mazuro]

Hola

Ya corregí: que en naturales y enteros sí hay sucesor, fue un error, perdón.

Bueno era que supuse si lo del sucesor se derivaba de la relación de orden total, pero veo que no es así.

Muchas gracias por todo. Saludos. Estudiaré más.