theorem :: SGRAPH1:19

for X being set
for g being SimpleGraph of X
for e being set st e in the SEdges of g holds
ex v1, v2 being object st
( v1 in the carrier of g & v2 in the carrier of g & v1 <> v2 & e = {v1,v2} ) by Th8;