“…Without repeating the relevant definitions here, we remark that, in the terminology of [5], the functor K: COCS OCON, defined by K(X, , C) (X*, *, C*) is an order-strict completion functor, and consequently that COCS is a completion subcategory of OCS. We shall henceforth refer to ((X*, @*, C*), j) as the fine ordered completion of (X, , C), and K will be called the fine ordered completion functor.…”