Conxunto: Diferenzas entre revisións
Contido eliminado Contido engadido
m mudando left, right, center -> esquerda, dereita, centro |
m r2.7.3) (Bot: Engado: nds:Koppel (Mathematik); cambios estética |
||
Liña 90:
Sexan ''A'', ''B'', e ''C'' conxuntos calquera, logo:
:* A ∩ A = A
:* A ∪ A = A
:* A - A = Ø
:* A ∩ B = B ∩ A
:* A ∪ B = B ∪ A
:* (A ∩ B) ∩ C = A ∩ (B ∩ C)
:* (A ∪ B) ∪ C = A ∪ (B ∪ C)
:* C - (A ∩ B) = (C - A) ∪ (C - B)
:* C - (A ∪ B) = (C - A) ∩ (C - B)
:* C - (B - A) = (A ∩ C) ∪ (C - B)
:* (B - A) ∩ C = (B ∩ C) - A = B ∩ (C - A)
:* (B - A) ∪ C = (B ∪ C) - (A - C)
:* A ⊆ B [[si y sólo si|↔]] A ∩ B = A
:* A ⊆ B ↔ A ∪ B = B
:* A ⊆ B ↔ A - B = Ø
:* A ∩ B = Ø ↔ B - A = B
:* A ∩ B ⊆ A ⊆ A ∪ B
:* A ∩ Ø = Ø
:* A ∪ Ø = A
:* Ø - A = Ø
:* A - Ø = A
Sexa '''U''' un conxunto tal que ''A'', ''B'', e ''C'' son subconxuntos do '''U''' (utilízase a notación A' := U - A). Entón:
:* A<nowiki>''</nowiki> = A
:* B - A = A' ∩ B
:* (B - A)' = A ∪ B'
:* A ⊆ B ↔ B' ⊆ A'
:* A ∩ '''U''' = A
:* A ∪ '''U''' = '''U'''
:* '''U''' - A = A'
:* A - '''U''' = Ø
[[Categoría:Matemáticas]]
Liña 177 ⟶ 176:
[[mn:Олонлог]]
[[ms:Set]]
[[nds:Koppel (Mathematik)]]
[[nl:Verzameling (wiskunde)]]
[[nn:Mengd]]
| |||