Directed set
= Directed set
{wiki}
= Directed
{synonym}
A directed set is a nonempty <preorder> in which every finite subset has an upper bound. It provides an index set in which any finite collection of stages has a common later stage.
= Directed set
{wiki}
= Directed
{synonym}
A directed set is a nonempty <preorder> in which every finite subset has an upper bound. It provides an index set in which any finite collection of stages has a common later stage.