binary operation
let
be a set, a binary operation on
is a function that assigns each ordered pair of elements of
an element of
.
[cite:;from @abstract_gallian_2021 chapter 2 groups; definition binary operation]
[cite:;from @abstract_gallian_2021 chapter 2 groups; definition binary operation]
a /binary operation on a set
is a function mapping
into
.
[cite:;taken from @topology_munkres_2014 chapter 1 set theory and logic]
[cite:;taken from @topology_munkres_2014 chapter 1 set theory and logic]