Fuzzy uniformities induced by fuzzy proximities

Abstract Given a fuzzy proximity δ, we construct a fuzzy uniformity (in the sense of Lowen) which turns out to be the coarse stone among those which induce δ. We show that some basic theorems of general topology about precompact uniformities have a nice extension to fuzzy set topology.