lunes, 19 de noviembre de 2007

Relaciones de Equivalencia y Orden

Equivalencia:
Son aquellas que verifican las propiedades reflexiva, simétrica y transitiva.

Orden:
Es aquella que verifica las propiedades reflexiva, antisimétrica y transitiva. Si sólo verifica la antisimétrica y la transitiva se llama de preorden. Las relaciones de orden pueden ser: de orden total o de orden parcial; son de orden total si cumple la propiedad conexa, es decir, x·R·y ó y·R·x. En caso contrario será de orden parcial.