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