Lattice paths, ballot sequences, and the Catalan numbers — count paths that stay above the diagonal.
A ballot path (Dyck path) from (0,0) to (n,n) uses steps R=(+1,0) and U=(0,+1), never going above the diagonal y=x. The count is the Catalan number C_n.
Equivalently: balanced parenthesizations, binary trees, triangulations of a polygon.