Re: [Haskell-cafe] Sum and Product do not respect the Monoid laws

On 14-09-27 10:02 AM, Carter Schonwald wrote:

Its approximately transitive. Distances always obey the triangle Inequality. Good enough for geometry. Also the emphasis is on the geometry / distance.

You've got me curious. How do we define "approximately transitive"? (I am not one of those who want to rid floating point of Eq and Ord, or rid of floating point altogether.)