justification for talking about complete partial orders
wording
proof of continuity of phi