totally ordered set definition