### 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 set of natural numbers (or ). Also, seeing as belong to every inductive set, all these elements make up the set of natural numbers.

An inductive set that is a proper superset of would be . The successor of every element is there in this set, and it also contains . Hence, it is an inductive set.

EDIT: I forgot to mention the motivation behind writing this post. To prove a property for all elements in an inductive set, we have to prove it for all elements without predecessors, and then show that if $a$ satisfies the property, then so does . For example, in the inductive set , we have to prove the property for and , and then also prove that satisfies the property satisfies the property. Because the only starting point of (element without predecessor) is , now you know how and why induction works in natural numbers.