Equivalent Definition
In addition to the definition above, there is an equivalent definition. A directed set is a set A with a preorder such that every finite subset of A has an upper bound. The above definition implies this one: the upper bound of the empty subset is any existing element of A, because A is nonempty; furthermore, as provable with an induction argument over the size of nonempty finite subsets, the upper bound of a finite subset may be obtained by finding upper bounds of pairs iteratively.
Read more about this topic: Directed Set
Famous quotes containing the words equivalent and/or definition:
“When the apple is ripe it will fall.”
—Irish proverb.
An English equivalent to this might be, “To everything there is a season.”
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)