"u" ∈ ult("x" )について以下2つの条件は互いに同値(フィルターは常に-完備なことに注意)。