>>398
何の負荷要素のない純集合においては、部分集合を双対写像を持って代用可能というのは直感的に正しいと思っていて

ただ証明になっているかと言われたらよくわからん