for X, Y being RealNormSpace
for T being LinearOperator of X,Y holds graphNSP T is Subspace of [:X,Y:]