directed set

views updated

directed set A subset X of a partially ordered set S, such that every finite subset of X has an upper bound in X itself. As a special case of this, a chain is a countable subset of the form x0x1x2 ⊆ …

where ⊆ denotes the partial ordering on S.

More From encyclopedia.com