:: deftheorem defines closed LOPBAN_7:def 3 :
for X, Y being RealNormSpace
for T being PartFunc of X,Y holds
( T is closed iff graph T is closed );