:: deftheorem defines _GraphSelectors GLIB_000:def 5 :
_GraphSelectors = {VertexSelector,EdgeSelector,SourceSelector,TargetSelector};