Mathematical induction

form of mathematical proof

method of proving that a certain property applies for all elements in a well-founded set

form of mathematical proof

In set theory, \in-induction, also called epsilon-induction or set-induction, is a principle that can be used to prove that all sets satisfy a given property. Considered as an axiomatic principle, it is called the axiom schema of set induction.

In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.