Semicontinuous extension of a partial order