f: А1´А2´...´Аn ® Втипті функция п –орындыфункция деп аталады.Бұл жағдайда функцияның п аргументі бар деп түсіну келісілген.:f(а1,..., аn)=b, мұндағы а1А1,...,аnАn, bВ. Айталық, GAхB сәйкестігі берілсін. Тек (а,b)G болса ғана (b,a)Н болатын HBхA сәйкестігі, G-ң кері сәйкестігі деп аталады және G-1 болып белгіленеді.
B болып жазылады.
А бейнелеу А жиынын түрлендіру, ал А
А болып та белгіленеді.