graph_closure (233B)
1 # Graph closure 2 3 The *closure* of a [class_of_graphs] under some [graph_operations] 4 5 - [closure_under_subgraph] 6 - [closure_under_induced_subgraph] 7 - [closure_under_minor] 8 9 Up: [closure], [graph] 10 11 Aliases: graph closing, graph closed