lattice.complete_distrib_lattice

A complete distributive lattice is a bit stronger than the name might suggest; perhaps completely distributive lattice is more descriptive, as this class includes a requirement that the lattice join distribute over arbitrary infima, and similarly for the dual.

lattice.complete_boolean_algebra

A complete boolean algebra is a completely distributive boolean algebra.