Closure operators, irreducibility, Urysohn's lemma, and Tietze extension theorem for proximity spaces

From MaRDI portal
Publication:5888353