Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I understood up to now that the term 'law of composition' was an older alternative to 'binary operation'. But according to this Wikipedia disambiguation page it is an alternative to 'binary function'. Which is correct? Also, which term is preferred, out of 'law of composition' and 'binary operation', if any?

share|cite|improve this question
Both functions and relations can be composed (see - there's a paragraph about relations), as long domains and codomains match: if $f: X \to Y$ and $g: Y \to Z$, then $g \circ f: X \to Z$. $f, g$ can be interpreted as either functions in $\bf Set$ or relations in $\bf Rel$ – alancalvitti Jan 25 '13 at 13:12
up vote 2 down vote accepted

A binary function is a function that takes two inputs and produces an output; a binary operation is the same except that the inputs and output are all supposed to come from the same set. "Law of composition" is indeed an older term, and I don't recall having seen it used for anything more general than binary operations. Nevertheless, if someone were to use "law of composition" to refer to a binary function whose inputs and outputs come from different sets, I would not be shocked and would not object; the same applies if someone were to use "law of composition" to refer to a function with more than two arguments.

share|cite|improve this answer
Would you then say that "law of composition" is probably too general a term, so in effect it means just the same as function really? – user50229 Jan 25 '13 at 18:16

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.