https://i.imgur.com/Zi1qJYs.jpg
题目一开始说这系统是一个互补络
根据定义应该每个元素都要有补元素
因为运算是定义成取最小上界
有一种可能性是他只有一种元素
可是解答是假设宇上界不等于宇下界时反元素不存在
但是这个假设本身就跟互补络矛盾了吧？
这样的推论不知道有没有问题