Kleene Law

For a distributive lattice,

$$x\wedge \sim x\le y\vee \sim y$$

See also

Cube Category