coinduction (suomeksi)

Määritelmät:

(lb, en, 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
(lb, en, biology) The simultaneous induction of two or more compounds into a cell line