Title: on the congruence of sets and their equivalence be finite decomposition