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.