:: deftheorem SteinGen defines SteinhausGen ROUGHIF2:def 10 :
for X being non empty set
for p being Element of X
for f, b₄ being Function of [:X,X:],REAL holds
( b₄ = SteinhausGen (f,p) iff for x, y being Element of X holds b₄ . (x,y) = (2 * (f . (x,y))) / (((f . (x,p)) + (f . (y,p))) + (f . (x,y))) );