1.

Conjuntos
1.1. Reglas de Equivalencia

Nombre Regla
No pertenencia x∈/ ∅ ≡ ¬(x ∈ ∅)
Abreviación {a1 , ...an } = {x : x = a1 ∨ . . . ∨ x = an }
Pertenencia a U x ∈ U ≡ T RU E
No pertenencia a U x∈/ U ≡ F ALSE
Pertenencia a ∅ x ∈ ∅ ≡ F ALSE
No pertenencia a ∅ x∈/ ∅ ≡ T RU E
Igualdad A = B ≡ (x ∈ A ≡ x ∈ B)
Subconjunto (Contenencia) A ⊆ B ≡ (x ∈ A ⇒ x ∈ B)
Subconjunto Propio A ⊂ B ≡ ((A ⊆ B) ∧ A 6= B)
Complemento x ∈∼ A ≡ (x ∈ / A)
Unión x ∈ A ∪ B ≡ ((x ∈ A) ∨ (x ∈ B))
Intersección x ∈ A ∩ B ≡ ((x ∈ A) ∧ (x ∈ B))
Diferencia x ∈ A \ B ≡ ((x ∈ A) ∧ (x 6∈ B))

Tabla 1: Equivalencias Básicas

Nombre Regla
Complemento de ∅ ∼∅=U
Complemento de U ∼U =∅

Tabla 2: Equivalencias de ∅ - U

Nombre Regla
identidad de ∩ A ∩ U =A
dominación ∩ A ∩ ∅=∅
idempotencia ∩ A ∩ A=A
conmutatividad ∩ A ∩ B=B ∩ A
asociatividad ∩ (A ∩ B) ∩ C = A ∩ (B ∩ C)
distributividad ∩ sobre ∪ A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
de Morgan de ∩ ∼ (A ∩ B) =∼ A ∪ ∼ B
absorción de ∩ sobre ∪ A ∩ (A ∪ B) = A
absorción de ∼ ∩ sobre ∪ ∼ A ∩ (A ∪ B) =∼ A ∩ B
negación de ∩ A ∩ ∼A≡∅

Tabla 3: Equivalencias de ∩

1
 Nombre Regla
identidad ∪ A ∪ ∅=A
dominación ∪ A ∪ U =U
idempotencia ∪ A ∪ A=A
conmutatividad ∪ A ∪ B=B ∪ A
asociatividad ∪ (A ∪ B) ∪ C = A ∪ (B ∪ C)
distributividad ∪ sobre ∩ A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
de Morgan ∪ ∼ (A ∪ B) =∼ A ∩ ∼ B
absorción ∪ sobre ∩ A ∪ (A ∩ B) = A
absorción ∼ ∪ sobre ∩ ∼ A ∪ (A ∩ B) =∼ A ∪ B
negación ∪ A ∪ ∼A=U

Tabla 4: Equivalencias de ∪

Nombre Regla
definición de \ A\B =A ∩ ∼B
identidad \ A\∅=A
-Dominancia \ A\U =∅
Negación \ ∅ \ A =∼ A
Dominancia \ ∅\A=∅

Tabla 5: Equivalencias de \

Nombre Regla
Definición de igualdad A = B ≡ (A ⊆ B) ∧ (B ⊆ A)
subconjuntos complementos A ⊆ B ≡∼ B ⊆∼ A

Tabla 6: Equivalencias de ⊂ y =

1.2. Predicado Caracterı́stico

Suponga que tenemos dos conjuntos A y B definidos por comprensión ası́: A =
{x : U |PA } y B = {x : U |PB }. Podemos definir las siguientes operaciones de conjuntos
ası́:
Pertenencia x ∈ A ≡ PA (x)
Igualdad: A = B : PA ≡ PB
Subconjunto: A ⊆ B : PA ⇒ PB
Complemento: ∼ A : {x : U |¬PA }
Union: A ∪ B : {x : U |PA ∨ PB }
Intersección: A ∩ B : {x : U |PA ∧ PB }
Diferencia: A \ B : {x : U |PA ∧ ¬PB }
Existe: (∃x| : x ∈ A) ≡ (∃x| : PA (x))

2
Para todo: (∀x| : x ∈ A) ≡ (∀x| : PA (x))
Existe: (∃x|x ∈ A : Q(x)) ≡ (∃x|PA (x) : Q(x))
Para todo: (∀x|x ∈ A : Q(x)) ≡ (∀x|PA (x) : Q(x))
Singleton-∃ S = {x|x = t} ⇒ ((∃y|y ∈ S : R(y)) ⇒ R(t))
Singleton-∀ S = {x|x = t} ⇒ ((∃y|y ∈ S : R(y)) ⇒ R(t))

2. Relaciones
2.1. Operaciones
Composición: R : A ↔ B y S : B ↔ C entonces R ◦ S : A ↔ C y

(x, z) ∈ R ◦ S ≡ (∃ y : B| : x R y ∧ y S z)
Proyección: R una relación n-aria: R ⊆ A1 ×A2 ×. . .×An , entonces si i1 , i2 , . . . im son
números enteros positivos menores o iguales a n y sin repeticiones: Rhi1 ,i2 ,...,im i =
{(xi1 , xi2 , . . . xim ) : Ai1 × Ai2 × . . . × Aim |(x1 , . . . , xn ) ∈ R}
Selección Si tenemos una relación R ⊆ A1 × . . . × An y P : (Ai1 × Ai2 × . . . ×
Aim ) → Bool un predicado sobre algun o algunos componentes de la relación
(donde i1 , i2 , . . . im son números enteros positivos menores o iguales a n y sin
repeticiones) R{P } = {(x1 , . . . , xn ) : A1 × . . . × An : ((x1 , . . . , xn ) ∈ R) ∧
P (xi1 , . . . xim )}
Join Si tenemos dos relaciones:
R : A1 × . . . × An × C1 . . . × Cp
S : C1 . . . × Cp × B1 × . . . × Bm
Joinp (R, S) = {(a1 , . . . , an , c1 , . . . , cp , b1 , . . . , bm ) : (a1 , . . . , an , c1 , . . . , cp ) ∈ A ∧
(c1 , . . . , cp , b1 , . . . , bm ) ∈ S}

2.2. Tipos de relaciones

Una relación R : A ↔ A es:
Reflexiva: (∀ x : A| : x R x)
Irreflexiva: (∀ x : A| : x ✚R x)
Sim´etrica: (∀ x, y : A|x R y : y R x)
Asim´etrica: (∀ x, y : A|x R y : y ✚R x)
Antisim´etrica: (∀ x, y : A|(x R y) ∧ (y R x) : x = y)
Transitiva: (∀ x, y, z : A|(x R y) ∧ (y R z) : x R z)
Partial order: Reflexive, antisymmetric, transitive
Equivalence: reflexive, symmetric, transitive

3. Tipos de Funciones
Una funci´on f : A → B es:
Surjective (onto): (∀ y : B| : (∃ x : A|f (x) = y)) For every B there exists at lest one A.

for foo(x,y) = z. Solve equation to arrive at z and pick values for x and y that satisfy.
Injective (uno a uno): (∀ x1, x2 : A|f (x1) = f (x2) : x1 = x2) A can only relate to one B.

Biyectiva: Si es sobreyectiva e inyectica