Idempotent filter

Definition
A filter here is a procedure, or algorithm, or function, that takes as input a set and outputs an smaller, trimmer, modified set.

A filter is termed idempotent if applying the filter twice has the same effect as applying itself once. Most filters are expected to be idempotent.