集合Sにある元eがあり、またSの任意の元ｘ,yに対して
SｘSからSへの2変数関数f(x,y)が　f(x,y)=f(y,x),　 f(x,e)=x を常に満たすとする。

そのときSの元aであって、a = f(x,y) となる(x,y)の組が存在すれば、
必ず(x,y)=(a,e)　または（e,a)であるとき、そのようなaをSの中の
素な元であるとしたら、通常の素数の概念を拡張できるだろうか？