>>820
遅レスですまないが、
「f(x)を、任意の実数xに対してf(x)=〜が成立するものとして定義する」
というのはつまり「f(x)をR⊆{x｜f(x)=〜}を成立するものとして定義する」
ということ？