Data.Graph.Unordered.Algorithms.Subgraphs
subgraph
isSubGraphOf