仮定定義