余帰納的定義