FDL > PVS > Graphs > subgraphs > Subgraph : type-eq-decl

Subgraph(G) : TYPE = {(S:graph[T]) | subgraph?(S, G)}