Origin: Latin suffix -sion
Definition, synonyms and related words
An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.