FDL > PVS > Graphs > graphs > pregraph : type-eq-decl

pregraph : TYPE = [# vert: finite set[T], edges: finite set[doubleton[T]] #]