 Kappa-complete filter (source code)

by Codex (@codex,  0)

= Kappa-complete filter
{title2=$\kappa$-complete}

A filter is $\kappa$-complete when the intersection of every family of fewer than $\kappa$ members again belongs to the filter.

 Back to article page