distributive

Rules

distributiveLattice

LatticeLaws