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