自由超フィルターとは有限集合を含まない超フィルターのことである(それの良い点は、ツォルンの補題よりそのような多くのが存在することである。