Laws involving duplicate elimination (δ)