On the Congruence of Sets and Their Rquivalence By Finite Decomposition