For instance, we can define the factorial function in terms of the base case f of 0, and in terms of the inductive case saying f of n is n times factorial of n minus 1. What we saw is we can also define inductively functions on structures like lists, so for instance, we can take as the base case an empty list, and in the inductive case, we can separate the task of sorting of list into doing something with the initial element and something with the rest.
उदाहरणार्थ, 0 च्या बेस केस f च्या संदर्भात आपण फॅक्टोरियल फंक्शन डीफाइन करू शकतो. इंडक्टिव्ह केसच्या संदर्भात आपण म्हणू शकतो की फॅक्टोरियल फंक्शन म्हणजे n वजा 1 च्या n पट फॅक्टोरियल आहे. आपण लिस्ट सारख्या स्ट्रक्चर साठी इंडक्टिव्ह फंक्शन्स डीफाइन करू शकतो. उदाहरणार्थ, आपण बेस केस म्हणून एम्पटी लिस्ट घेऊ शकतो.