Coinduction
WiktionaryText

Noun



  1. 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
  2. The simultaneous induction of two or more compounds into a cell line
 
x
OK