I think this may be exactly what the title suggests: a fixed point operator.