Untuk jaring \((x_a)_{a\in A}\text{,}\) misalkan \(T_a=\{x_b:b\ge a\}\text{.}\) Buktikan bahwa keluarga semua himpunan yang memuat suatu \(T_a\) merupakan filter, dan bahwa filter itu konvergen ke \(x\) tepat ketika jaringnya konvergen ke \(x\text{.}\)