:: deftheorem Def4 defines SimpleGraph SGRAPH1:def 4 :
for X being set
for b₂ being strict SimpleGraphStruct holds
( b₂ is SimpleGraph of X iff b₂ is Element of SIMPLEGRAPHS X );