Coinduction

Coinduction is a mathematical and theoretical concept primarily used in computer science, particularly in the areas of programming languages, type theory, and formal verification. It provides a framework for defining and reasoning about potentially infinite structures, such as streams or infinite data types. In more formal terms, coinduction can be seen as a dual to induction.