I'm having difficulty with this proof since I'm not sure how the two iffs affect the layout of the solution:

Show that two simple graphs and are isomorphic if and only if there is a bijection such that if and only if .

Any help would be much appreciated,

Ultros