A locale is totally unordered when f∗≤g∗ for two maps into it implies f=g, for every common domain. This tests generalized points rather than just ordinary points. Every Hausdorff locale has this property: comparable maps annihilate the complement of the diagonal and hence factor through the diagonal.
