coinduction

Example:Induction is the opposite of coinduction, as it focuses on showing that something is true for all cases rather than just future steps.

Definition:The mathematical and scientific process of deriving general principles by induction, where a specific instance is proven to hold for all cases by showing that if it is true for one case, it is true for the next (and thus true for all cases).