Commutative, Associative, and Identity Properties