一次関数　ｙ＝０ｘ　は
　lim　　ｘ
ｘ→∞

x軸にあるという事は、y=xを満たす。
しかし、y=0*∽のyは定義されていない。
よって満たさない。