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!