Small set is absent from a complete nonprincipal ultrafilter

ID: small-set-is-absent-from-a-complete-nonprincipal-ultrafilter

If is a nonprincipal -complete ultrafilter on and has cardinality below , then . Indeed, every belongs to , so -completeness puts their intersection in .

New to topics? Read the docs here!