Oración 1: a su vez, sabemos queN = {(2,∧,∨,¬, 0, 1 ) | n ∈ N} es un conjunto contable de representates de ABF módulo isomorfismo
Oración 2: f = h·F0 para algún F0 ∈ A, por lo que existe g ∈ B tal que F0 = g ·F1, es decir que g ·G(F ) ∈ C
Relación: neutral
Género: theses