I am seeking a deeper understanding of the representation of set-based objects in terms of Boolean algebras. Let $\wp(A)$ be the set of subsets of a set $A$. A relation $R \subseteq A \times B$ ...
A Boolean algebra may, or may not, be complete (i.e, any set of elements has a sup and an inf) or atomic (i.e., every element is a sup of some set of atoms). Boolean Algebras that are complete as ...