for RLS being non empty RLSStruct
for A being Subset of RLS holds |.(Complex_of {A}).| = conv A