General Topology/Order topology and semicontinuity