binary operation

let be a set, a binary operation on is a function that assigns each ordered pair of elements of an element of .

a /binary operation on a set is a function mapping into .