Академический Документы
Профессиональный Документы
Культура Документы
5) 𝐴 △ 𝑈 = 𝐴𝐶 𝐷𝑅 = { 𝑥 ∈ 𝐴 / (𝑥, 𝑦) ∈ 𝑅 } Asimétrico:
(𝐴 △ 𝐵) △ 𝐶 = 𝐴 △ (𝐵 △ 𝐶) Imagen Es ∀(𝑥, 𝑦) ∈ 𝑅 no existe un (𝑦, 𝑥) ∈ 𝑅.
(𝐴 ∪ 𝐵) × 𝐶 = (𝐴 × 𝐶) ∪ (𝐵 × 𝐶) La imagen de una relación es el segundo ∀𝑥, ∀𝑦: (𝑥, 𝑦) ∈ 𝑅 → (𝑦, 𝑥) ∉ 𝑅
elemento del par ordenado (𝑥, 𝑦). ∀(𝑥, 𝑦): 𝑥 𝑅 𝑦 → 𝑦 𝑅 𝑥
9. Concepto de Pertenencia e Inclusión 𝐼𝑅 = { 𝑦 ∈ 𝐵 / (𝑥, 𝑦) ∈ 𝑅 } Ejm: 𝑅 = {(1,2), (3,2), (2,4)}
Pertenencia ∈ : 3. Relación Inversa. ∀ ninguno tiene que tener su simétrico.
Para expresar que un elemento pertenece a un Sea el par ordenado (𝑥, 𝑦) donde (𝑦, 𝑥) sera la
conjunto. relación inversa. 3) Transitiva:
Inclusión de Conjuntos ⊂ : 𝑅−1 = { (𝑦, 𝑥) / (𝑥, 𝑦) ∈ 𝑅 } ∀𝑥, 𝑦, 𝑧 ∈ 𝐴:
Se dice que A esta incluido en B, o que A es Hay un par ordenado (𝑦, 𝑥) siempre que (𝑥, 𝑦) ∈ 𝑅 ∧ (𝑦, 𝑧) ∈ 𝑅 → (𝑥, 𝑧) ∈ 𝑅
sub conjunto de B, si todos los elementos del (𝑥, 𝑦) ∈ 𝑅.
conjunto A pertenecen al conjunto B. Ejm: 𝑅 = {(1,2), (1,4), (2,4), (1,1)
⏟ }
4. Cuantificadores. (1,1)