Laws for lattices including a partial order.

Will be used in another library for e.g. the lattice of subgroups defined by group intersection (meet)/union (join) , and the partial order "is subgroup of".