Binary operation/Commutative/Definition

Commutative operation

A binary operation

on a set is called commutative if for all the equality

holds.