20170826

K を体とし, X を K 上一次元の線形空間とする.
f を定義域が X×X で各値が K の元である写像とし, ∀a(∀x(∀y(((a∈K)∧(x∈X)∧(y∈X))⇒(f(ax,y)=f(x,ay)=af(x,y))))) とする.
∀x(∀y(∀z(((x∈X)∧(y∈X)∧(z∈X))⇒((f(x+y,z)=f(x,z)+f(y,z))∧(f(x,y+z)=f(x,y)+f(x,z)))))) が成り立ち, ∀x(∀y(((x∈X)∧(y∈X))⇒(f(x,y)=f(y,x)))) が成り立つ.