Una relaciónR es reflexiva si todo estáR relacionado consigo mismo; simétrica, si conRxy también seRyx sostiene para cualquierax yy; y transitiva siRxy yRyz garantías\(...Una relaciónR es reflexiva si todo estáR relacionado consigo mismo; simétrica, si conRxy también seRyx sostiene para cualquierax yy; y transitiva siRxy yRyz garantíasRxz.
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.