Commutativity

For additive groups, often denoted as , commutativity is implied.