Une substitution détermine quel élément peut être utilisé à la place d'un autre ou est effectivement remplacé par un élément existant dans un context donné (par exemple dans le cadre d'une variation).

Contrairement à la variation, une substitution n'induit pas d'héritage mais une équivalence fonctionnelle.