[−][src]Trait maths_traits::algebra::group_like::multiplicative::MulCommutative
A marker trait for stucts whose addition operation is order independent,
ie x+y=y+x
for all x
, y
, and z
.
This is an extremely common property, and most commonly used algebraic systems have it. Nonetheless, there are also a fairly number of algebraic constructions do not, such as matrix multiplication and most finite groups.