有向集

一個集合 連同一個 關係 ，該關係既是 傳遞的 又是 自反的，並且對於任意兩個元素 ，都存在另一個元素 使得 且 。在這種情況下，關係 被稱為“定向”該集合。