incidence_poset (273B)
1 # Incidence poset 2 3 A [partial_order] defined from an [undirected_graph]: 4 - elements are the [vertices] and the [edges] 5 - We set x <= y iff x is a [vertex], y is an [edge], and x belongs to y 6 7 It has [partial_order_height] 2 8 9 Up: [graph_theory] 10 11 See also: [incidence_graph]