theorem :: RLAFFIN2:5

for V being non empty RLSStruct
for A being Subset of V holds Int A c= conv A by Lm2;