Laws involving join (⋈) and product (×)