:: deftheorem Def2 defines (#) TOPALG_7:def 2 :
for X being non empty set
for T being non empty multMagma
for f, g, b₅ being Function of X,T holds
( b₅ = f (#) g iff for x being Element of X holds b₅ . x = (f . x) * (g . x) );