:: deftheorem Def4 defines LinearOperators CLOPBAN1:def 4 :
for X, Y being ComplexLinearSpace
for b₃ being Subset of (ComplexVectSpace ( the carrier of X,Y)) holds
( b₃ = LinearOperators (X,Y) iff for x being set holds
( x in b₃ iff x is LinearOperator of X,Y ) );