the properties below are stated without proof, but can be derived from a small number of properties taken as axioms. a "*" follows the algebra of sets interpretation of huntington's (1904) classic postulate set for boolean algebra. these properties can be visualized with venn diagrams. they also follow from the fact that "p"(u) is a boolean lattice. the properties followed by "l" interpret the lattice axioms.