Abstract

Tolerance spaces are sets equipped with a reflexive, symmetric, but not necessarily transitive, relation of indistinguishability, and are useful for describing vagueness based on error-prone measurements. We show that any tolerance space can be embedded in one generated by comparisons using prototypical objects. As a result propositions, definable on a tolerance space can be translated into propositions behaving classically.