上限と下限の一意性
上限・下限
は存在するならただ一つしかない
証明
上限の場合だけ示す
以下を示せればいい
$ \forall A;|\mathcal{U}(A)\cap\mathcal{L}\circ\mathcal{U}(A)|\le1
#2022-04-16
07:24:44