Álgebras de Boole

Abstract

Sea (P,≤) un conjunto parcialmente ordenado y sea S un subconjunto de P . Una cota superior de S es un elemento c ∈ P tal que s ≤ c para todo s ∈ S. Una cota inferior de S es un elemento d ∈ P tal que d ≤ s para todo s ∈ S. Una cota superior (inferior) c de S se denomina el supremo (́ınfimo) de S si es menor o igual (mayor o igual) que cualquier otra cota superior (cota inferior) de S. Si un subconjunto S de P admite supremo (́ınfimo) lo denotaremos por sup S (inf S). En el caso que S tenga dos elementos, x, y, el supremo (́ınfimo) de S será denotado por x ∨ y (x ∧ y).