[Tutor] equality check difference

Peter Otten __peter__ at web.de
Sun Apr 20 00:04:21 CEST 2014

Peter Otten wrote:

> In mathematics there is a property called "transitivity" which basically
> says that an operation op is transitive if from
> (a op b) and (a op c)
> follows
> b op c

I opened the wikipedia article for the english word, but didn't start 
reading it until after I had hit send :( 
The above should be 


(a op b) and (b op c) 


(a op c)

For equality this doesn't matter, but for other operations, e. g.

a > b and b > c --> a > c

but not

WRONG! a > b and a > c --> b > c

More information about the Tutor mailing list