Open Access
4- https://doi.org/10.1515/forma-2015-0016
Convergent Filter Bases
- Sep 1, 2015
- Formalized Mathematics
- Roland Coghetto
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).
