The Commutative Property Definition