[see also: kind, type
This result may be thought of as a sort of regularity theorem.
This sort of proof will recur frequently in what follows.
This sort of tacit convention is used throughout Gelfand theory.