theorem Th88: :: SCMYCIEL:88

for G being void SimpleGraph holds Mycielskian G = {{},{(union G)}}