String-Output Function

A String-Output Function is a Function whose Function Range is a String Set.