Keyword:the peculiar subset of the smallest inductive set infinite