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]
a /binary operation on a set is a function mapping into .
[cite:;taken from @topology_munkres_2014 chapter 1 set theory and logic]