FDL > PVS > Graphs > subgraphs > subgraph? : const-decl

subgraph?(G1, G2): bool = subset?(vert(G1), vert(G2)) AND subset?(edges(G1), edges(G2));