Inductive sets

Inductive sets are sets such that 1. , where is the inductive set under consideration. 2. , where Natural numbers (here, natural numbers include ) are those sets that are present in every inductive set. Let us explore this strand of thought more. Clearly, belongs to every inductive set. Hence, it also belongs to the