subsignature
nounEtymology
From sub- + signature.
Definitions
The domain of a signature morphism (a mapping of a set of symbols of a given signature…
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.
- To be able to interpret the revealing of a set of symbols of a given signature, we need to be able to construct a subsignature generated by these symbols.
The neighborhood
Vish — recursive loop
No curated loop yet for subsignature. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA