In de wiskundige verzamelingenleer is een transformatie een functie van een verzameling naar zichzelf, met andere woorden: een relatie R ⊂ A × A {\displaystyle R\subset A\times A} met de eigenschap dat iedere a ∈ A {\displaystyle a\in A} hoogstens eenmaal optreedt als beginpunt van een koppel van de relatie. Wikipedia