Laws for bounded (semi)lattices and partial order.