Every filter is contained in a maximal filter, called...trafilter

• 每个滤子包含在一个极大的滤子里，一个极大滤子称为一个超滤子。