定向集

定向集(directed set)亦稱有向集一類特殊的偏序集.設屍是一個偏序集，若屍中任兩元素都有上界，則稱屍為上有向集.對偶地，可以定義下有向集.