[1]
[DFN[単純]]な[[ドメイン]]とは:
- その[[ドメイン]]が他の[[ドメイン]]の[[直積]]
(の[[部分集合]]) ではなく、しかも
- その[[ドメイン]]が他の[[ドメイン]]の[[冪集合]]
(の[[部分集合]]) ではない。



([[名無しさん]] [sage])