DISTRIBUTIVE LATTICE
\dɪstɹˈɪbjuːtˌɪv lˈatɪs], \dɪstɹˈɪbjuːtˌɪv lˈatɪs], \d_ɪ_s_t_ɹ_ˈɪ_b_j_uː_t_ˌɪ_v l_ˈa_t_ɪ_s]\
Sort: Oldest first
-
A lattice for which the least upper bound (lub)and greatest lower bound (glb) operators distribute over oneanother so thata lub (b glb c) == (a lub c) glb (a lub b)and vice versa. ("lub" and "glb" are written in LateX as \sqcup and\sqcap).
By Denis Howe
