:: deftheorem Def7 defines BoundedLinearOperators CLOPBAN1:def 7 :
for X, Y being ComplexNormSpace
for b₃ being Subset of (C_VectorSpace_of_LinearOperators (X,Y)) holds
( b₃ = BoundedLinearOperators (X,Y) iff for x being set holds
( x in b₃ iff x is Lipschitzian LinearOperator of X,Y ) );