Origin: Latin suffix -tion
Definition, synonyms and related words
A material implication that is acted upon by the necessity operator from modal logic.