>>773
その定義を用いて実数同士の演算(和でも積でも)を定義してみるとよい。