Join and Meet - Meets of General Subsets

Meets of General Subsets

If (A,∧) is a meet-semilattice, then the meet may be extended to a well-defined meet of any non-empty finite set, by the technique described in iterated binary operations. Alternatively, if the meet defines or is defined by a partial order, some subsets of A indeed have infima with respect to this, and it is reasonable to consider such an infimum as the meet of the subset. For non-empty finite subsets, the two approaches yield the same result, whence either may be taken as a definition of meet. In the case where each subset of A has a meet, in fact (A,≤) is a complete lattice; for details, see completeness (order theory).

Read more about this topic:  Join And Meet

Famous quotes containing the words meets and/or general:

    Though an unpleasant sort of person, and even a queer threatener withal, yet, if one meets him, one must get along with him as one can; for his ignorance is extreme. And what under heaven indeed should such a phantasm as Death know, for all that the Appearance tacitly claims to be somebody that knows much?
    Herman Melville (1819–1891)

    I suggested to them also the great desirability of a general knowledge on the Island of the English language. They are under an English speaking government and are a part of the territory of an English speaking nation.... While I appreciated the desirability of maintaining their grasp on the Spanish language, the beauty of that language and the richness of its literature, that as a practical matter for them it was quite necessary to have a good comprehension of English.
    Calvin Coolidge (1872–1933)