Let be a nonempty set, then an ultrafilter on is a nonempty collection of subsets of having the following properties:
2. If then .
3. If and then .
4. For any subset of , either or its complement .
An ultrafilter on is said to be free if it contains the cofinite filter of .