Welche Eigenschaft besagt, dass wenn `a = b und b = c`, dann `a = c`?

Die transitiven Eigenschaften der Gleichheit besagen, dass wenn

`a=b, b=c,` dann folgt daraus `a=c.`