To understand a transitive relation one must be able to represent at least three entities ( e . g ., objects A, B, and C ) and two relations ( e . g ., A is taller than B; C is shorter than B ); otherwise it would not be possible to mentally arrange the entities in the right order that would reveal the relations between all entities involved.
32.
Ernst Schr�der in " The Algebra of Logic " consolidated and advanced the work of Boole and Peirce introducing the concept of the reflexive relation, and Alfred Tarski, adhering to Schr�der s notation, introduced further types of relation in his paper " On the Calculus of Relations " published in 1941 where he said We may for instance distinguish certain important categories of relation such as symmetric relations, transitive relations, ordering relations, one-many relations & and one-one relations & .