Partitions of sets, as indicating partial knowledge.
Cosets of a vector subspace.
Quotient vector spaces. Computing their dimension, in the finite-dim case.
The nth graded piece of a polynomial ring.
The Hilbert function of a monomial ideal (or really, of R/I).
Computing it by counting the leftover monomials.
