Hab auch mal ne Frage:
Zu überprüfen ist doch eigentlich ob
1) |Z| = |Z'|
2) für alle x,y mit z_0 x = z_0 y gdw. z_0' x = z_0' y (injektivität)
Oder???
This post has been edited 1 times, last edit by "broetchen" (Apr 18th 2008, 7:00pm)
Man weiß ja zunächst noch nicht welcher Knoten im Graph zu M mit welchem Knoten im Graph von M' korespondiert.