 In this situation, "F" is left adjoint to "G" and "G" is right adjoint to "F" .This definition is a logical compromise in that it is somewhat more difficult to satisfy than the universal morphism definitions, and has fewer immediate implications than the counit–unit definition.It is useful because of its obvious symmetry, and as a stepping-stone between the other definitions.