theorem Th3: :: RLAFFIN1:3

for RLS being non empty RLSStruct
for A, B being Subset of RLS st A c= B holds
conv A c= conv B