subsignature

Today it means: 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. Full definition →