Álgebra de Boole

Sea $A$ un conjunto y el booleano de $A$ ($\mathbb{B}$) un conjunto parcialmente ordenado, llamaremos álgebra de Boole al conjunto de aplicaciones que van desde $\mathbb{B}$ al conjunto $\{0,1\}$ $$ f: \mathbb{B}(A) \longrightarrow \{0,1\} $$

Propiedades:

1. $\mathbb{A}$ tiene un elemento menor o igual que todos que va a 0
2. $\mathbb{A}$ tiene un elemento mayor o igual que todos que va a 1
3. dos elementos cuales quiera de $\mathbb{A}$ tienen un supremo
4. dos elementos cuales quiera de $\mathbb{A}$ tienen un ínfimo