The same functionality appears in different programming languages under different names. Here’s an attempt at gathering some interesting distinctions.
Plain old filter:
filter(what is the opposite though?)
partition(combines both; Ruby, Rust)
Filter, mutates original:
Filter until predicate fails:
This applies a map to the elements of an array.
Equality is a can of worms.