Monoid，独异点
独异点是一个，集合只包含单位元，单个二元关系运算的代数结构。
单位元，identity element
单位元是（二元运算符）集合中的一种特殊类型的元素，当与另一元素进行二元运算时，结果保持另一元素不变。
半环，semiring
幂等，idempotence
在数学和计算机科学中，幂等是某个运算的性质，进行任意多次幂等运算，不会改变元素的值。
热带半环，tropical semiring
The tropical semiring is a semiring (ℝ,⊕,⊗) with addition x⊕y=min(x,y) and multiplication x⊗y=x+y.
热带加，tropical addition
即min(a, b)
热带乘，tropical multipy
即a+b
Total order，全序，线性序，简单序
全序是一种在某集合X之上的二元关系，该关系是反对称、可传递并且集合中任意两个元素之间具有此关系。一个具有全序关系的集合被称作是全序集合、线性集合、简单序集合或链。
Natural order（Natural total order），自然序，自然全序
Usual order