Definition (Ultrafilter). An ultrafilter is a maximal filter.