Matemaatikas nimetatakse substitutsiooniks hulgal M ≠ ø mistahes bijektiivset kujutust f : M → M. st bijektiivset kujutust hulgast M iseendasse. [1]