Cobounded filter on a regular cardinal (source code)

= Cobounded filter on a regular cardinal

The cobounded filter on a regular cardinal $\kappa$ consists of sets whose complements have cardinality below $\kappa$. Regularity makes it $\kappa$-complete.