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:
“Inter-railers are the ambulatory equivalent of McDonalds, walking testimony to the erosion of French culture.”
—Alice Thompson (b. 1963)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)