MECE
mutually exclusive and collectively exhaustive
述語論理的にいうと，「変数の対象領域をちゃんと決め，限量子は正しく使いましょう」ということ．