Category:Definitions/Inductive Classes