“…Suppose {E, ^, T} satisfies the six conditions above. Firstly, (ii) implies that T itself is T 2 , and therefore 7\; it follows by Theorem 2.8 of [15], together with (iii) and (iv), and the observation that upper sesqui v continuity implies upper sesquicontinuity, that {E, ^, T} is 7\-ordered. We now show that, given a, b, c and d in E, the sets F abc , T ac and K abcd are closed.…”