# binary operation

A *binary operation ^{}* on a set $X$ is a function from the Cartesian product $X\times X$ to $X$. A binary operation is sometimes called

*internal composition*.

Rather than using function notation, it is usual to write binary operations with an operation^{} symbol between elements, or even with no operation at all, it being understood that juxtaposed elements are to be combined using an operation that should be clear from the context.

Thus, addition^{} of real numbers is the operation

$$(x,y)\mapsto x+y,$$ |

and multiplication in a groupoid is the operation

$$(x,y)\mapsto xy.$$ |

Title | binary operation |
---|---|

Canonical name | BinaryOperation |

Date of creation | 2013-03-22 13:08:12 |

Last modified on | 2013-03-22 13:08:12 |

Owner | mclase (549) |

Last modified by | mclase (549) |

Numerical id | 7 |

Author | mclase (549) |

Entry type | Definition |

Classification | msc 08A99 |

Synonym | internal composition |

Related topic | Arity |

Related topic | Operation |