Commutative, Associative, Identity, Inverse properties