You are here: irt.org | FOLDOC | 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.
(1994-12-02)
Nearby terms: complete « complete graph « complete inference system « complete lattice » complete metric space » completeness » complete partial ordering
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL