Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]

Demostrar con Lean4 que si \(f\) es inyectiva, entonces
\[ f[s] ∩ f[t] ⊆ f[s ∩ t] \]

Para ello, completar la siguiente teoría de Lean4:

Read More «Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]»

f[s ∩ t] ⊆ f[s] ∩ f[t]

Demostrar con Lean4 que
\[ f[s ∩ t] ⊆ f[s] ∩ f[t]​ \]

Para ello, completar la siguiente teoría de Lean4:

Read More «f[s ∩ t] ⊆ f[s] ∩ f[t]»

f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]

Demostrar con Lean4 que \(f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]\).

Para ello, completar la siguiente teoría de Lean4:

Read More «f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]»

Si u ⊆ v, entonces f⁻¹[u] ⊆ f⁻¹[v]

Demostrar con Lean4 que si \(u ⊆ v\), entonces \(f⁻¹[u] ⊆ f⁻¹[v]\).

Para ello, completar la siguiente teoría de Lean4:

Read More «Si u ⊆ v, entonces f⁻¹[u] ⊆ f⁻¹[v]»

Si s ⊆ t, entonces f[s] ⊆ f[t]

Demostrar con Lean4 que si \(s ⊆ t\), entonces \(f[s] ⊆ f[t]\).

Para ello, completar la siguiente teoría de Lean4:

Read More «Si s ⊆ t, entonces f[s] ⊆ f[t]»