Vannak szurjektív elemek is, ezt egy kis kerülővel mutatjuk ki, nevezetesen olyan elemeket keresünk, amelyek "egyetértőek".

Azt mondjuk, hogy f egyetértő, ha minden g-re létezik x, hogy fx=gx. (Mondjuk úgy, hogy f és g egyetért az x-en.)

Egyetértő például az M, ugyanis Mg=gg. Szintén egyetértő az I, ugyanis I(θy)=y(θy)

Továbbá, ha valamely l és r elemekre l(r(x))≡x (lásd az előbb említett inverz-elemeket), akkor l is egyetértő: tetszőleges g-re: l és g egyetért x=r(θ(Bgr)) elemen:
l(x) = l(r(θ(Bgr))) = θ(Bgr) = Bgr(θ(Bgr)) = g(r(θ(Bgr))) = g(x)

És miért is szurjektívek az egyetértő elemek? Legyen e egy tetszőleges egyetértő elem (pl. I, M, TI, VII, VKK). Ekkor tetszőleges x-re legyen K_x = Kx, akkor létezik y, amelyre ey = K_xy
Itt még azt vegyük észre, K_xy = Kxy = x, tehát ey = x, vagyis e minden x-et előállít, tehát szurjektív.