نمودار بالا جابجایی است اگر و تنها اگر f یک یکریختی باشد.
The diagram above commutes if and only if f is an isomorphism.