:: deftheorem Def8 defines Lipschitzian LOPBAN10:def 10 :
for X being RealNormSpace-Sequence
for Y being RealNormSpace
for IT being MultilinearOperator of X,Y holds
( IT is Lipschitzian iff ex K being Real st
( 0 <= K & ( for x being Point of (product X) holds ||.(IT . x).|| <= K * (NrProduct x) ) ) );