coinduction en · NOUN
Etymology
From co- + induction.
Meanings
- (countable, uncountable) 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
- (countable, uncountable) The simultaneous induction of two or more compounds into a cell line
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| coinductions | Number=Plur | lexicographic |