Definition:Complement of Simple Graph