for X being RealBanachSpace
for Y being Subset of X st X is Reflexive holds
ClNLin Y is Reflexive