Sıralama Bağıntısı

Bir $ S $ kümesi üzerinde $ \le $ bağıntısı

1. $ a\le a \textrm{ (yansıma özelliği) } $
2. $ a\le b \textrm{ ve } b\le a \textrm{ ise } b=a\textrm{ (ters simetri özelliği) } $
3. $ a\le b \textrm{ ve } b\le c \textrm{ ise } a\le c \textrm{ (geçişme özelliği) } $

koşullarını gerçekliyorsa $ \le $ bağıntısı bir sıralama bağıntısıdır.