Incidence graph (source code)

= Incidence graph
{wiki}

The incidence graph of a set family is the bipartite graph whose two vertex classes are the family members and the ground points, with an edge for each containment relation.