Oración 1: §4.5 26 Inicialmente note que ∀α, ΛF (Dom(α)) ⊆ Uα
Oración 2: sea β ∈ Dom(α)
Conector: en efecto
Relación: entailment
Género: theses