for RS being strict RelStr holds UniformSpaceStr2RelStr (RelStr2UniformSpaceStr RS) = RS