Origin: Latin suffix -ure
Definition, synonyms and related words
The domain of a signature morphism (a mapping of a set of symbols of a given signature into another set of symbols) that is an inclusion.