Category:Minimally Inductive Set is Ordinal