Una relación\(R\) es reflexiva si todo está\(R\) relacionado consigo mismo; simétrica, si con\(Rxy\) también se\(Ryx\) sostiene para cualquiera\(x\) y\(y\); y transitiva si\(Rxy\) y\(Ryz\) garantías\(...Una relación\(R\) es reflexiva si todo está\(R\) relacionado consigo mismo; simétrica, si con\(Rxy\) también se\(Ryx\) sostiene para cualquiera\(x\) y\(y\); y transitiva si\(Rxy\) y\(Ryz\) garantías\(Rxz\).
Hay dos clases especiales de relaciones que estudiaremos en las dos secciones siguientes, las relaciones de equivalencia y las relaciones de orden. El prototipo para una relación de equivalencia es la...Hay dos clases especiales de relaciones que estudiaremos en las dos secciones siguientes, las relaciones de equivalencia y las relaciones de orden. El prototipo para una relación de equivalencia es la noción ordinaria de igualdad numérica, =. La relación prototípica de ordenación es ≤. Cada uno de estos tiene ciertas propiedades sobresalientes que son las causas fundamentales de su importancia. En esta sección, estudiaremos un compendio de propiedades que una relación puede o no tener.
