有向集

一个集合 连同一个 关系 ，该关系既是 传递的 又是 自反的，并且对于任意两个元素 ，都存在另一个元素 使得 且 。在这种情况下，关系 被称为“定向”该集合。