مجموعۀ خطیْ مرتب

فرمول‌دار متـ . مجموعه کلیْ‌مرتب totally ordered set