مجموعۀ کلیْ‏مرتب

totally ordered set