@MISC{UNIFORM2.MIZ,
    TITLE = {Quasi-uniform Space},
    AUTHOR = {Coghetto, Roland},
    ADDRESS1 = {Rue de la Brasserie 5\\7100 La Louvi\`ere, Belgium},
    DAY = {30},
    MONTH = {June},
    YEAR = {2016},
    SUMMARY = {In this article, using mostly Pervin
    \cite{pervin1962quasi}, K\šunzi \cite{kunzi1993quasi,kunzi1995bourbaki,
    kunzi2009introduction}, Williams \cite{williams1972locally} and
  Bourbaki \cite{bourbaki2013general} works, we formalize the notions
  of quasi-uniform space, semi-uniform space and locally uniform space.
  \par
  We define the topology induced by a quasi-uniform space.
   \par
  Finally we formalize from the sets of the form
  $((X\setminus\Omega) \times X) \cup (X\times \Omega)$,
  the C\Žaz\Žar-Pervin quasi-uniform Space induced by a topological space.},
    MSC2010 = {54E15,03B35},
    KEYWORDS = {Quasi-uniform space, quasi-uniformity, Pervin space,
    Czasar-Pervin quasi-uniformity},

 @article{pervin1962quasi,
  title={Quasi-uniformization of topological spaces},
   author={Pervin, William J},
   journal={Mathematische Annalen},
   volume={147},
   number={4},
   pages={316--317},
   year={1962},
   publisher={Springer}
 },
 @article{kunzi2009introduction,
   title={An introduction to quasi-uniform spaces},
   author={K{\"u}nzi, Hans-PA},
   journal={Beyond Topology},
   volume={486},
   pages={239--304},
   year={2009},
   publisher={Amer. Math. Soc.}
 },
 @inproceedings{kunzi1995bourbaki,
   title={The Bourbaki quasi-uniformity},
   author={Kunzi, HANS-PETER A and Ryser, Carolina},
   booktitle={Topology Proc},
   volume={20},
   pages={161--183},
   year={1995}
 },
 @inproceedings{kunzi1993quasi,
   title={Quasi-uniform spaces-eleven years later},
   author={K{\"u}nzi, HPA},
   booktitle={Topology Proc},
   volume={18},
   pages={143--171},
   year={1993}
 },
 @article{williams1972locally,
   title={Locally uniform spaces},
   author={Williams, James},
   journal={Transactions of the American Mathematical Society},
   volume={168},
   pages={435--469},
   year={1972}
 },
@book{bourbaki2013general,
  title={General Topology: Chapters 1--4},
  author={Bourbaki, Nicolas},
  year={2013},
  publisher={Springer Science and Business Media}
}
}
