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