>>111
x の変域をRの部分集合一般にすることはできない、という話なのでは。