定義拡大