for A being partial non-empty UAStr holds LimDomRel A c= DomRel A