coinduction

From Wiktionary, the free dictionary
Jump to navigation Jump to search
See also: co-induction

English[edit]

Etymology[edit]

co- +‎ induction

Noun[edit]

coinduction (countable and uncountable, plural coinductions)

  1. (logic) 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. (biology) The simultaneous induction of two or more compounds into a cell line
Retrieved from "https://en.wiktionary.org/w/index.php?title=coinduction&oldid=48828678"