Idempotent filter

This article defines a notion of an idempotent (one that equals its square) in a certain context

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.