The Frankl number of a lattice.
For a lattice $L$ on at least two elements, this is
$$ \max_x(|L|-2|[x, 1]|), $$
where we maximize over all join irreducible elements and $[x, 1]$ denotes the interval from $x$ to the top element. Frankl's conjecture asserts that this number is non-negative, and zero if and only if $L$ is a Boolean lattice.

Sends a graph to the lattice of its connected vertex partitions.
A connected vertex partition of a graph $G = (V,E)$ is a set partition of $V$ such that each part induced a connected subgraph of $G$. The connected vertex partitions of $G$ form a lattice under refinement. If $G = K_n$ is a complete graph, the resulting lattice is the lattice of set partitions on $n$ elements.
In the language of matroid theory, this map sends a graph to the lattice of flats of its graphic matroid. The resulting lattice is a geometric lattice, i.e. it is atomistic and semimodular.

The lattice of congruences of a lattice.
A congruence of a lattice is an equivalence relation such that $a_1 \cong a_2$ and $b_1 \cong b_2$ implies $a_1 \vee b_1 \cong a_2 \vee b_2$ and $a_1 \wedge b_1 \cong a_2 \wedge b_2$.
The set of congruences ordered by refinement forms a lattice.