サブドメインの定義、判断定理、および性質