べき集合 k個の要素を持つ集合のべき集合はある。 べき集合の要素(それぞれが部分集合)が半順序の性質を持ち、その中でも特別の性質を持つ束であることは、この記事(順序集合と束)とこの記事(部分集合の束のグラフ表現)で書いた。 部分集合の関係がグラフに…