The terminology and notation used here have been introduced in the following articles: [9], [4], [13], [12], [10], [8], [2], [3], [1], [14], [7], [11], [5], and [6]. Let M be a metric structure, and let x, y be elements of the carrier of M . The predicate x ≈ y is defined by: (Def.1) ρ(x, y) = 0. Let M be a metric structure, and let x be an element of the carrier of M . The functor x yielding a...