Toisin kuin ryhmien tapauksessa, viimeisin ehto on erikseen mainittava. YlläKoska ryhmillerenkaan käytetty johtoalkioilla ei selvästikäänaina käyole käänteisalkioita, silläyllä käänteisalkioitaesiintyvää, ryhmien tapauksessa toimivaa johtoa ei välttämättäainakaan olevoi olemassakäyttää. Itse asiassa kaikille ryhmille <math>R</math> ja <math>R'</math> on olemassa kaksi ensimmäistä ehtoa toteuttavia kuvauksia, jotka eivät toteuta viimeistä. Kolmas ehto ei näin ollen voi olla seurausta kahdesta ensimmäisestä. Yksinkertaisin esimerkki tällaisestaensimmäiset ehdot toteuttavasta, mutta viimeistä rikkovasta kuvauksesta on nollakuvaus <math>f:R \rightarrow R', f(x) = 0_{R'} \quad \forall x \in R</math>.