Definition 3. Let \(A\) be a set. A binary operation is a map from \(A \times A\) to \(A\).