Kappa-complete filter

ID: kappa-complete-filter

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

New to topics? Read the docs here!