In maths, a binary operation is any operation that takes two elements from a set as input and returns another element from the same set. Binary operations are extremely common, but we simply just choose not to care about the specifics too much.

Definition

  • = Our binary operator. It could be anything, as long as it is defined properly
  • = The set which operates on. For example, it could be the set of all Real Numbers.
  • = When we use the multiplication symbol with two sets, we are actually getting the Cartesian Product of them, which basically gives out another set.#tosee
  • = Maps to. It means the output is also in .

#todo

Examples

Subtraction is a binary operation on the real numbers. If we have two numbers, , then the difference of two numbers, also gives a number in , no matter what number it is.

Subtraction is not a binary operation on the natural numbers. If we have two numbers, , we can’t always subtract them and still end up with a number that’s in .#todo