>>274
x∈R\Qで定義できてないやん