Ontify
A result in group theory that is often useful in taking account of symmetry when counting mathematical objects.