Directed covering graph of an interval map (source code)

= Directed covering graph of an interval map

Given finitely many intervals $J_1,\ldots,J_r$, their directed covering graph has an <directed edge> $J_i\to J_j$ whenever $F(J_i)\supseteq J_j$.