There are two very different types of ultrafilter: principal and free.
有两种非常不同类型的超滤子：主要的和自由的。