Given a number field K and a polynomial f(z)#92;inK#91;z#93;, one can naturally construct a finite directed graph G(f,K) whose vertices are the K-rational preperiodic points of f, with an edge #92;alpha#92;to#92;beta if and only if f(#92;alpha)#61;#92;beta.
Source: wiktionary