A set together with operations defined in the set that obey specified laws.

• 代数集合一个集合及符合特定运算规律的该集合的运算法则