:: deftheorem Def9 defines BoundedMultilinearOperators LOPBAN10:def 11 :
for X being RealNormSpace-Sequence
for Y being RealNormSpace
for b₃ being Subset of (R_VectorSpace_of_MultilinearOperators (X,Y)) holds
( b₃ = BoundedMultilinearOperators (X,Y) iff for x being set holds
( x in b₃ iff x is Lipschitzian MultilinearOperator of X,Y ) );