binop.md

定义

给定集合$A$，二元函数$F:A\times A\to A$称为二元运算。