Hi, infinite-set reader. Are you ready to Set Theory? This time we will discuss about immediate successor and immediate predecessor and its properties. Keep in mind that is . Happy reading. Theorem (immediate successor) If the immediate successor of two natural numbers is equal then the two natural numbers are the same.