theorem Th84: :: REAL_NS2:84

for V, W being RealLinearSpace
for X being set holds
( X is LinearOperator of V,W iff X is linear-transformation of (RLSp2RVSp V),(RLSp2RVSp W) )