PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
inductive set (Definition)

An inductive set is a set $X$ with the property that, for every $x \in X$ the successor $x'$ of $x$ is also an element of $X$

One major example of an inductive set is the set of natural numbers $\mathbb{N}$




"inductive set" is owned by djao.
(view preamble | get metadata)

View style:

See Also: natural number

Other names:  successor set

Attachments:
freely generated inductive set (Definition) by CWoo
Log in to rate this entry.
(view current ratings)

Cross-references: natural numbers, successor, property
There are 7 references to this entry.

This is version 7 of inductive set, born on 2001-10-19, modified 2003-11-05.
Object id is 386, canonical name is InductiveSet.
Accessed 10078 times total.

Classification:
AMS MSC03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)