Definition. Inverse of an isomorphism [inverse-isomorphism]If is an isomorphism we define to be the inverse of . This notation is justified above