:: deftheorem defines createGraph GLIB_000:def 11 :
for V being non empty set
for E being set
for S, T being Function of E,V holds createGraph (V,E,S,T) = <*V,E,S,T*>;