Function that maps a set into itself.