# Definition:Inductive Class

## Definition

Let $A$ be a class.

Then $A$ is inductive if and only if:

 $(1)$ $:$ $A$ contains the empty set: $\ds \quad \O \in A$ $(2)$ $:$ $A$ is closed under the successor mapping: $\ds \forall x:$ $\ds \paren {x \in A \implies x^+ \in A}$ where $x^+$ is the successor of $x$ That is, where $x^+ = x \cup \set x$

### Inductive Set

The same definition can be applied when $A$ is a set:

Let $S$ be a set of sets.

Then $S$ is inductive if and only if:

 $(1)$ $:$ $S$ contains the empty set: $\ds \quad \O \in S$ $(2)$ $:$ $S$ is closed under the successor mapping: $\ds \forall x:$ $\ds \paren {x \in S \implies x^+ \in S}$ where $x^+$ is the successor of $x$ That is, where $x^+ = x \cup \set x$

## General Definition

Let $A$ be a class.

Let $g: A \to A$ be a mapping on $A$.

Then $A$ is inductive under $g$ if and only if:

 $(1)$ $:$ $A$ contains the empty set: $\ds \quad \O \in A$ $(2)$ $:$ $A$ is closed under $g$: $\ds \forall x:$ $\ds \paren {x \in A \implies \map g x \in A}$

## Also see

• Results about inductive classes can be found here.
{"ft_lang_label":"__label__en","ft_lang_prob":0.6994259,"math_prob":1.0000098,"size":1388,"snap":"2023-14-2023-23","text_gpt3_token_len":486,"char_repetition_ratio":0.13222544,"word_repetition_ratio":0.40234375,"special_character_ratio":0.39697406,"punctuation_ratio":0.14982578,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000097,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-03-25T20:43:38Z\",\"WARC-Record-ID\":\"<urn:uuid:274773c4-aaae-49a7-9a72-c0c516cfaa3c>\",\"Content-Length\":\"42631\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:d7211e71-5797-4772-a868-ca39ab899a69>\",\"WARC-Concurrent-To\":\"<urn:uuid:ad0b45bc-00ff-45b1-8e63-f1a7e3ac74d0>\",\"WARC-IP-Address\":\"172.67.198.93\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Inductive_Class\",\"WARC-Payload-Digest\":\"sha1:ETYIXKLG2PQS2LO3VGL3X2VUC2UWG7RB\",\"WARC-Block-Digest\":\"sha1:QK5QERD3U5DB2HIXAR6ROIF2FDL43MLR\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-14/CC-MAIN-2023-14_segments_1679296945372.38_warc_CC-MAIN-20230325191930-20230325221930-00173.warc.gz\"}"}