[see also: foregoing, preceding, previous
the function F is bounded above <below> by 1.
By the above,......
Let T be an isometric semigroup as above.
In the notation above <In the above notation>,......