Add 1.InductiveSetOfData