Is that distinct from a pure transformation?
A pure transformation is an abstract operation, a pure function implements it.