Surjection

A carrier domain from the domains catalogue; the signature is its storage shape. What is known about it elsewhere is mostly recorded against the collections that enumerate it, and says so.

A carrier domain: the nominal type this object is stored and dispatched as.