UTILITY FUNCTIONS FOR PARTIALLY ORDERED TOPOLOGICAL SPACES.