A supertransform, t
(tau bold), is a generalization of the concept of transformation, and it can be thought of
as an abstraction of the set of several “closely related” and inductively acquired transforms.
Here, all contexts have the same interface sites and all bodies have the same initial and terminal sites.