まだ証明もできていないが、
{{},{{}}} という構造には名前がついているのだろうか？
とりあえず、仮に、{{},{{}}} をパンドラ構造体と呼んでおこう。
{}は外延性の定理からひとつであり、２か所に現れているように表記されているのは単に技術的問題である。
パンドラホールか？　消失点であり、かつ、生成点である。
とすれば、消失点と生成点を要素とした集合がパンドラ構造体＝パンドラ集合である。
ひとつの存在としてみればパンドラホールである。