is XZ≅XZ an addition property

Yes, XZ ≅ XZ is an example of the addition property.