Documentos de Académico
Documentos de Profesional
Documentos de Cultura
7) Demuestra que si A y B son conjuntos arbitrarios, entonces {S ×T | (S, T ) ∈ P (A)×P (B)} ⊆ P (A×B).
1
9) Sea R una relación reflexiva y transitiva en dom(R). Muestra que R∩R−1 es una relación de equivalencia
en dom(R).
13) Sean (A, ) y (B, ) dos conjuntos parcialmente ordenados. Si (a1 , b1 ) y (a2 , b2 ) son elementos de
A × B, muestra que la relación (a1 , b1 ) ≤ (a2 , b2 ) si y sólo si a1 a2 o a1 = a2 y b1 b2 es un orden
parcial de A × B.
15) Demuestra que si R y R0 son relaciones irreflexivas, entonces R ∩ R0 y R−1 son irreflexivas.