prooved equivalence of inductive set and composition function