:: deftheorem defines graph LOPBAN_7:def 1 :
for X, Y being RealNormSpace
for T being PartFunc of X,Y holds graph T = T;