IsomorphicSubgraphQ

IsomorphicSubgraphQ[g1,g2] yields True if the graph g1 is isomorphic to a subgraph of the graph g2.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.