Origin: Latin suffix -tion
Definition, synonyms and related words
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