i = isDistributive P
The lattice $P$ is distributive if the meet operation distributes over the join operation. Equivalently, $P$ is distributive if the join operation distributes over the meet operation.
The $n$ booleanLattice is distributive.

The pentagon lattice and diamond lattice are prototypical nondistributive lattices.






The object isDistributive is a method function.