In mathematics, in the area of order theory, the flat lattice on a multielement set X {\displaystyle X} is the smallest lattice containing the elements of X {\displaystyle X} in which those elements are all pairwise incomparable; equivalently, it is the rank-3 lattice where X {\displaystyle X} is exactly the set of elements of intermediate rank.