Affiliation:
1. Rue de la Brasserie 5 7100 La Louvière, Belgium
Abstract
Abstract
We are inspired by the work of Henri Cartan [16], Bourbaki [10] (TG. I Filtres) and Claude Wagschal [34]. We define the base of filter, image filter, convergent filter bases, limit filter and the filter base of tails (fr: filtre des sections).
Subject
Applied Mathematics,Computational Mathematics
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quasi-uniform Space;Formalized Mathematics;2016-09-01
2. Double Sequences and Iterated Limits in Regular Space;Formalized Mathematics;2016-09-01
3. Topology from Neighbourhoods;Formalized Mathematics;2015-12-01
4. Summable Family in a Commutative Group;Formalized Mathematics;2015-12-01