theorem Th20: :: JGRAPH_3:20

for D being non empty Subset of (TOP-REAL 2) st D = NonZero (TOP-REAL 2) holds
D ` = {(0. (TOP-REAL 2))}