co-induction

A form of coinduction — 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

Meanings

nounco-induction (countable and uncountable, plural co-inductions)

plural co-inductions

  1. alternativecountableuncountableAlternative spelling of coinduction.
Cite this entry
APA

co-induction. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/co-induction

MLA

“co-induction.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/co-induction. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “co-induction,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/co-induction.

Source: co-induction on Wiktionary, CC BY-SA 4.0.