for G being edgeless _Graph
for e being object
for X, Y being set holds
( not e SJoins X,Y,G & not e DSJoins X,Y,G )