Definition talk:Inductive Class

Merge with Definition:Infinite Successor Set somehow? It's strictly a generalization, since it doesn't have to be a set. The term "infinite successor set" seems a bit unfortunate, since an infinite successor set is not a successor set. Most logical would probably be "successor-inductive class", per the terminology of S&amp;F for a class being inductive under a mapping. --Dfeuer (talk) 19:18, 21 March 2013 (UTC)


 * This has come up since. Looks like a merger is in order. --prime mover (talk) 17:57, 3 December 2021 (UTC)