If a key function is to serve as a filter, matching names must be members of the same equivalence class.
no single partition can produce equivalence classes that both include all matching pairs and exclude all non-matching pairs.