Category:Definitions/Minimally Inductive Set