(X, O)=({0,1,2}, {{},{2},{0,1,2}}), D⊂X, D={0,1}
とした方が曖昧さは無かったね