A query box has been added:
I suspect there is a variant of the definition involving a transformation rather than . Is this correct? If so, how do these two definitions relate? Can one of them be expressed in terms of the other? Or is there a refined definition which comprises both and ?
]]>