Category:Definitions/Minimal Infinite Successor Set