Definición: Se dice que una relación sobre un conjunto A es una relación de orden parcial si esta es
reflexiva, antisimétrica o transitiva. ... Un conjunto parcialmente ordenado es conocido como POSET
(del inglés: partially ordered set).
Ejemplo: La relación “inclusión” entre conjuntos es de orden parcial. • Reflexiva: ∀ A, se cumple que A
⊆ A. • Antisimétrica: ∀ A,B se cumple que si A ⊆ B y B ⊆ A entonces A=B • Transitiva: ∀ A,B,C se cumple
que si A ⊆ B y B ⊆ C entonces A ⊆ C
Relación Simétrica
Todos los elementos qué pertenezcan a (A,B) También pertenecen a (B,A)
Una relación binaria sobre un conjunto es antisimétrica cuando se da que si dos elementos de se
relacionan entre sí mediante , entonces estos elementos son iguales. Es decir, Para todo a, b de A, si
se cumple que a está relacionado con b y b está relacionado con a, entonces a es igual a b.
Una relación binaria sobre un conjunto es transitiva cuando se cumple: siempre que un elemento se
relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero. Esto
es: Dado el conjunto A y una relación R, esta relación es transitiva si: a R b y b R c se cumple a R c.
Ejemplo: R={(2,1),(3,1),(3,2),(4,1),(4,2),(4,3)}
Relación de equivalencia
Una relación que produce sobre el conjunto en el cual se define una clasificación con las
características anteriores, se llama relación de equivalencia. 3.5.2 Definición. Sea A un conjunto no
vacío y R una relación en A. R es una relación de equivalencia en A, si R es reflexiva, simétrica y
transitiva en A.