The number of distinct nonempty subtrees of a binary tree.

The height of a poset. This equals the rank of the poset [[St000080]] plus one.

The number of maximal antichains in a poset.

The dimension of the reduced incidence algebra of a poset. The reduced incidence algebra of a poset is the subalgebra of the incidence algebra consisting of the elements which assign the same value to any two intervals that are isomorphic to each other as posets. Thus, this statistic returns the number of non-isomorphic intervals of the poset.

The cardinality of a maximal independent set of vertices of a graph. An independent set of a graph is a set of pairwise non-adjacent vertices. A maximum independent set is an independent set of maximum cardinality. This statistic is also called the independence number or stability number $\alpha(G)$ of $G$.

The largest part of an integer partition.

The size of the centralizer of any permutation of given cycle type. The centralizer (or commutant, equivalently normalizer) of an element $g$ of a group $G$ is the set of elements of $G$ that commute with $g$: $$C_g = \{h \in G : hgh^{-1} = g\}.$$ Its size thus depends only on the conjugacy class of $g$. The conjugacy classes of a permutation is determined by its cycle type, and the size of the centralizer of a permutation with cycle type $\lambda = (1^{a_1},2^{a_2},\dots)$ is $$|C| = \Pi j^{a_j} a_j!$$ For example, for any permutation with cycle type $\lambda = (3,2,2,1)$, $$|C| = (3^1 \cdot 1!)(2^2 \cdot 2!)(1^1 \cdot 1!) = 24.$$ There is exactly one permutation of the empty set, the identity, so the statistic on the empty partition is $1$.

The maximal part of the shifted composition of an integer partition. A partition $\lambda = (\lambda_1,\ldots,\lambda_k)$ is shifted into a composition by adding $i-1$ to the $i$-th part. The statistic is then $\operatorname{max}_i\{ \lambda_i + i - 1 \}$. See also [[St000380]].

The number of strictly increasing runs in a binary word.

The number of modular elements of a lattice. A pair $(x, y)$ of elements of a lattice $L$ is a modular pair if for every $z\geq y$ we have that $(y\vee x) \wedge z = y \vee (x \wedge z)$. An element $x$ is left-modular if $(x, y)$ is a modular pair for every $y\in L$, and is modular if both $(x, y)$ and $(y, x)$ are modular pairs for every $y\in L$.