Groups
Category
A functional graph is a directed graph where every node has exactly one outgoing edge, so repeatedly following edges from any start eventually loops into a cycle.
Sprague–Grundy theory converts any impartial, normal-play game into an equivalent Nim heap using a Grundy number.