偏序集

偏序 partial order
偏序集 partially ordered set or poset
对偶 dual
可比的 comparable
线性序 linear order
链 chain
积偏序 product partial order
字典式的 lexicographic
前缀 prefix
拓扑排序 topological sorting
极大元 maximal element
极小元 minimal element
最大元 greatest element
最小元 least element
上界 upper bound
下届 lower bound
最小上界/上确界 least upper bound GUB
最大下界/下确界 greatest lower bound GLB
良序 well order
良序集 well ordered set
格 lattice
并 join
交 meet
分配格 distributive lattice
全上界 universal upper bound
全下界 universal lower bound
有界格 bounded lattice
有补格 complemented lattice
布尔格 boolean lattice
对合律 involution law
布尔多项式 boolean polynomial
布尔表达式 boolean expression
或门 or gate
与门 and gate
反向变换器 inverter
逻辑图 logic diagrams
极小项 miniterm