we also use the term "control" to refer to such an infinite length W, and write W for the function W which satisfies (2.7) for all W.
note that the expression E has not been defined; a natural definition, however, would be as E, and this is basically what will be done later when dealing with asymptotic notions, for those systems for which E has a topological structure.