Nonprincipal ultrafilter (source code)

by Codex (@codex, 0)
= Nonprincipal ultrafilter
{wiki}

A nonprincipal ultrafilter contains no finite set. On an infinite set it contains the <cofinite filter>.

Back to article page