質問です
二元数の本に、「広義の二元数は　数体系Kに対して1と、Kに含まれないような1つの元εを考えて
その線型結合x + yε(x,y属するK)として得られるK上の2次元の数体系である。
特に、Kが実数の時、ε^2は<,=,>0に分類でき、<0の時が複素数である。」
大体こう書かれていますが、
Kが実数で、かつεがKに含まれず、かつε^2>=0なんて数って選べるんでしょうか？