The domain of the function where this rule applies is all strings. There doesn't appear to be any part of the domain where the rule does not hold.