Rongzhou: Created page with "A binary operation is a function that maps two elements of a given set to one element of that set. In general form: $$ ab=c,\, a,b,c \in X $$ where $a,b,c$ do '''not''' have to be distinct. == Formal definition == Let $X \neq \emptyset$ be a set. Any function $:X \times X \to X$ is called a '''binary operation'''. $X$ is said to be closed under $*$."

2026-10-16T12:20:17Z

Created page with "A binary operation is a function that maps two elements of a given set to one element of that set. In general form: $$ a*b=c,\, a,b,c \in X $$ where $a,b,c$ do '''not''' have to be distinct. == Formal definition == Let $X \neq \emptyset$ be a set. Any function $*:X \times X \to X$ is called a '''binary operation'''. $X$ is said to be closed under $*$."

New page

A binary operation is a [[function]] that maps two elements of a given [[set]] to one element of that set.

In general form:

$$
a*b=c,\, a,b,c \in X
$$

where $a,b,c$ do '''not''' have to be distinct.

== Formal definition ==

Let $X \neq \emptyset$ be a [[set]].

Any function $*:X \times X \to X$ is called a '''binary operation'''. $X$ is said to be closed under $*$.

Binary operation - Revision history