<-- Go Back Last Updated: 11/01/2025

Binary Product**

Given a set \(X\), a binary product (or 'binary operation') on \(X\) is a function \(\cdot:X\times X\to X\), typically written \(\cdot:(x,y)\mapsto \cdot(x,y)=x\cdot y)\).