Saludos,
He estado revisando la teoría de conjuntos y la teoría del orden, en busca de una definición de orden, pero no la encuentro.
Lo que busco es una definición concisa; un párrafo breve limitado a su definición, sin fórmulas ni más detalles. Tampoco busco clasificaciones de las relaciones de orden. Una definición “de diccionario”, en definitiva, pero en el contexto de las matemáticas.
Por último, si alguien que esté familiarizado con estas disciplinas o que haya revisado bastante literatura al respecto, nunca ha encontrado una definición de orden, o entiende que no es necesario definirlo, porque se da por sentada una noción intuitiva de la propiedad, también valoraré mucho esos comentarios.
Es para una cita en un trabajo en el contexto de la filosofía de la ciencia y sobre la noción de orden. Básicamente quiero estar seguro de poder afirmar que es una propiedad que carece, en las matemáticas, de una definición formal.
Agradecería mucho una referencia bibliográfica.
Muchas gracias de antemano.