for X, Y being RealLinearSpace holds LinearOperators (X,Y) is linearly-closed