albertofest.matcuer.unam.mxalbertofest.matcuer.unam.mx/Misc37/Castro-Rubiano.pdfRODRIGO DE CASTRO Y...
12
albertofest.matcuer.unam.mxalbertofest.matcuer.unam.mx/Misc37/Castro-Rubiano.pdfRODRIGO DE CASTRO Y GUSTAVO RUBIANO Teorema 4.2 (Banaschewski-Bruns). Sea P un conjunto ordenado. Una