coinduction

Today it means: A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation Full definition →