Precisely separated by a function