Orchid XP v8 wrote:
>>> and transitive
>>
>> I don't think that's what you intended to say.  You probably meant to 
>> say "triangle inequality".
> 
> Actually I meant that d(x,y)=0 implies x=y, but even so, that's not the 
> right term...

"identity of indiscernibles" is the phrase you want.  And at any rate, 
that conflicts more with your use of the term "reflexive", rather than 
"transitive".  But hey, you got "symmetric"! (and the gist of the 
others, I'm just pulling your leg).

Post a reply to this message