En particular, no nos pararemos a discutir qué son las relaciones de orden, las aplicaciones, la inducción matemática, etc, aunque eventualmente queden definidas (por mera completitud).