coinduction

See also: co-induction

English

Etymology

From co- +‎ induction.

Noun

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
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.