【格与代数系统】示例2
【分明集合】特征函数、关系与运算
【模糊集合】隶属函数、关系与运算
【格与代数系统】格与代数系统汇总
例1
是（ABC）
A.有补格
有补格：每个元素都有补元
B.分配格
分配格：满足分配律
C.对偶格
对偶格：复原律+对偶律
复原律：
对偶律：
依据分明集合间运算的性质，详见【分明集合】特征函数、关系与运算
例2
是布尔代数（对）
布尔代数：有补+分配
依据分明集合间运算的性质，详见【分明集合】特征函数、关系与运算
例3
是优软代数（错）
优软代数：对偶+稠密+完全+无限分配律
不满足稠密性
例4
是（ABCD）
A.有界格
有界格：有最大、最小元
B.分配格
分配格：满足分配律
C.完全格
完全格：非空子集都有上下确界
D.对偶格
对偶格：复原律+对偶律
复原律：
对偶律：
依据模糊集合间运算的性质，详见【模糊集合】隶属函数、关系与运算
例5
是优软代数（对）
优软代数：对偶+稠密+完全+无限分配律
代数系统
是优软代数，可知结论成立