graph_theory:incidence_function