Une famille
Exemple 1: La famille de semi-normes définie précédemment n'est pas filtrante. Cependant on peut toujours définir une famille filtrante en effectuant une "complétion" comme montré ci-après.
Exemple 2 ("complétion" d'une famille quelconque): Soit une famille quelconque
On voit facilement alors que