Category:Definitions/Minimally Inductive Classes