0を含む、ある数の集合Fにおいて
 演算子 "-" を ∀a∈F a-a=0 と定義し
 演算子 "*" を ∀a∈F a * e = e * a = a と定義する
 ここで e∈F は e*e=e を満足する

 そして
 e∈F は、 -e * -e =e という等式が成り立ち、且つ
 i∈F は、 i * i = -e という等式が成り立つ
 その条件の元に、
   j∈F j * j= -i となる
 集合Fを求めよ