Definition:Inductive Class under General Mapping