for e being object holds
( e in 0 -SD iff e = 0 )