coinduction

coinduction

See also: co-induction

English

Etymology

Etymology tree
Proto-Indo-European *ḱe
Proto-Indo-European *ḱóm
Proto-Italic *kom
Proto-Italic *kom-
Latin con-
Latin co-der.
English co-
English induction
English coinduction

    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.