メンバーシップ関数の部分の構造について考えます。