El documento presenta la proposición 1.4.1 de la teoría de conjuntos. Esta proposición establece que, dada una colección C de subconjuntos de un conjunto X, existe un álgebra mínima A que contiene a C. La demostración define A como la unión de todas las álgebras que contienen a C y muestra que A es un álgebra y es la más pequeña que incluye a C.