An ultrafilter is a truth-value assignment to the family of subsets of a set, and a method of convergence to infinity. From the first (logical) property arises its connection with two-valued logic and... This description may be from another edition of this product.