ترتیب خطی

ترتیبی مانند < بر مجموعۀ با این ویژگی که به‌ازای هرa وb درs فقط یکی از گزاره‌هایa < b،a = b یا B < aدرست باشد متـ . ترتیب کلی total order