Quasi-uniform Space

Article English OPEN
Coghetto Roland;
(2016)
  • Publisher: Sciendo
  • Journal: Formalized Mathematics (issn: 1898-9934)
  • Related identifiers: doi: 10.1515/forma-2016-0017
  • Subject: 54E15 | 03B35 | quasi-uniform space | quasi-uniformity | Pervin space | Csaszar-Pervin quasi-uniformity | identifier: UNIFORM2 | version: 8.1.05 5.37.1275 | Mathematics | QA1-939

In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space.
Share - Bookmark