Tag: commutative law of union