- Publisher: Sciendo
- Journal: Formalized Mathematics (issn: 1898-9934)
- 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 , Kunzi , , , Williams  and Bourbaki  works, we formalize in Mizar  the notions of quasiuniform space, semi-uniform space and locally uniform space.
- Similar Research Results (2)
Uniform Space (2016)81% Dual Space of a Lattice as the Completion of a Pervin Space (2017)71%
- Metrics No metrics available