[1] 単純なドメインとは:

• そのドメインが他のドメインの直積 (の部分集合) ではなく、しかも
• そのドメインが他のドメインの冪集合 (の部分集合) ではない。

[2] 単純馬鹿