theorem :: RLAFFIN1:49

for RLS being non empty RLSStruct
for A being Subset of RLS holds A c= Affin A by Lm7;