Abstract
An element x in a lattice L is join-reducible (meet-reducible) in L if there exist y, z∈L both distinct from x such that x=y⋁z (x=y⋀z); x is join-irreducible (meet-irreducible) in L if it is not join-reducible (meet-reducible) in L; x is doubly irreducible in L if it is both join- and meet-irreducible in L. Let J(L), M(L), and Irr(L) denote the set of all join-irreducible elements in L, meet-irreducible elements in L, and doubly irreducible elements in L, respectively, and ℓ(L) the length of L, that is, the order of a maximum-sized chain in L minus one.

This publication has 0 references indexed in Scilit: