for A being partial non-empty UAStr holds Class (LimDomRel A) is a_partition of A