Fuzzy proximities and totally bounded fuzzy uniformities · Study