En primer lugar damos la definición de relación de orden. Definición 1 Una relación es de orden si es reflexiva, antisimétrica y transitiva. Ejemplos típicos de relaciones de orden, de entre los ya estudiados anteriormente en esta asignatura o en cursos precedentes, podemos citar la implicación lógica entre clases de equivalencia de proposiciones lógicas, la contención entre conjuntos, la desigualdad entre números, la relación de divisibilidad entre números naturales, o la comparación de cardinales entre clases de conjuntos equipotentes (con el mismo cardinal). Las relaciones de orden se suelen llamar también de orden parcial , en contraposición a lo que se llama orden total , que definimos a continuación. Definición 2 Una relación de orden se llama orden total si De todos los ejemplos citados anteriormente, solamente las desigualdades entre números y la comparación de cardinales son órdenes totales, el resto son s...
Comentarios
Publicar un comentario