代数结构(Mathematical Structures)
定义:具有在对象上定义操作的对象集合及其附带属性构成代数结构或代数系统。(Note:这里我们只处理离散的代数结构)
如:[sets, ∩, ∪, -]; [ 3 × 3的矩阵, +, *, T]等
二元运算(Binary operation)
定义:对两个对象进行操作的运算称为二元运算
封闭性(Closure)
\(设集合S有二元运算 * ,若对S中的任意两个元素a_1、a_2,都有:a_1 * a_2 ∈ S,则称运算 * 对集合S封闭\)