Definition:Ultrafilter on Set

Also see

 * Equivalence of Definitions of Ultrafilter on Set