Fréchet filter (source code)

= Fréchet filter
{wiki=Fréchet_filter}