:: deftheorem defines WGraphSelectors GLIB_004:def 4 :
WGraphSelectors = {VertexSelector,EdgeSelector,SourceSelector,TargetSelector,WeightSelector};