有向集合是非空全序集合的一般化。在拓扑中它们用来定义一般化序列的网，并联合在数学分析中用到的各种极限的概念。
例子.有向集合的例子有：
对比于半格.有向集合是比（并）半格更弱的（更一般的）概念：所有并半格都是有向集合，两个元素的并就是想要的 "c"。但是有向集合不要求极小性：可以有很多其他这样的 "c"。
有向子集.有向集合不需要是反对称的，并且一般不是偏序的。但是这个术语也经常用在偏序集合的上下文中。在这种情况下，偏序集合