Nếu quan hệ R ngoài các tính chất nói trên còn thỏa thêm tính chất toàn phần (với mọi a và b trong tập, ta có aRb hoặc bRa) thì tập đó được gọi là tập được sắp toàn phần (Total order). Trong một số tài liệu, tính chất toàn phần còn được gọi là tính chất so sánh được.
