定義、判定、共通部分空間