定義可能実数