Definition
A directed poset is a non-empty poset in which any two elements have a common upper bound.
Remarks
Each of these posets forms a filtered category.
A directed poset is a non-empty poset in which any two elements have a common upper bound.
Each of these posets forms a filtered category.