The law of transitivity.

From MaRDI portal
Publication:6030500