:: deftheorem defines Affin RLAFFIN1:def 6 :
for RLS being non empty RLSStruct
for A being Subset of RLS holds Affin A = meet { B where B is Affine Subset of RLS : A c= B } ;