Adjective for: algorithm that outputs its input if it is one of its outputs?
In mathematics we would say $f$ is an idempotent function. It's a widely known term and I suppose most TCS people should also recognize it.