Addition Properties Definitions