complete lattice


Also found in: Wikipedia.

complete lattice

[kəm′plēt ′lad·əs]
(mathematics)
A partially ordered set in which every subset has both a supremum and an infimum.

complete lattice

A lattice is a partial ordering of a set under a relation where all finite subsets have a least upper bound and a greatest lower bound. A complete lattice also has these for infinite subsets. Every finite lattice is complete. Some authors drop the requirement for greatest lower bounds.
Mentioned in ?
References in periodicals archive ?
Providence, RI) announces a new x-ray goniometry service that provides a complete lattice orientation of single crystals and is suitable for a wide variety of materials, regardless of size and weight.
Measures the complete lattice orientation of single crystals with precision up to (1/100)[degrees] and provides a misalignment report of tilt and azimuth
We say that A is a sup-[OMEGA]-algebra if the poset (A[less than or equal to]) is a complete lattice and
j] is a complete lattice with respect to the order inherited from A, where joins are given by
From the algebraic point of view this structure forms a complete lattice, called the generalized one-sided concept lattice.
We observe that for a compact Hausdorff space X, DP(X) is a complete lattice and we have characterized it by proving that for countably compact T3 spaces X and Y without isolated points, lattice DP(X) is isomorphic to lattice DP(Y) if and only if X and Y are homeomorphic.
We will start by creating the filling pattern, then we will develop the grid, and finally we will combine both parts of the code in order to produce the complete lattice.
We use 1 to denote the top element and 0 the bottom element in a complete lattice.
perpendicular to]) denotes a complete lattice C, with ordering [is less than or equal to], lub [disjunction], glb [conjunction], greatest element (top) ?
The following simple complete lattice Nat is an abstract domain which provides information to detect whether an integer variable is a strictly positive number.
In the trivial case, if we take the complete lattice [L.
on the complete lattice uco(C) of all (upper) closure operators on C.

Full browser ?