це заміна деякого виразу, вірніше його аналітичного вигляду, іншим тотожно рівним йому на деякій множині.