theorem :: RLAFFIN1:2

for RLS being non empty RLSStruct
for A being Subset of RLS holds A c= conv A by Lm1;