:: deftheorem Def1 defines MultOps PRVECT_2:def 1 :
for f being Function
for X being set
for b₃ being Function holds
( b₃ is MultOps of X,f iff ( dom b₃ = dom f & ( for i being set st i in dom f holds
b₃ . i is Function of [:X,(f . i):],(f . i) ) ) );