theorem Th21: :: PUA2MSS1:22

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