A b s t r a c t. A simplified notation is introduced for transitivity and related properties of binary relations. Interrelations of such properties can be proved in a facilitated way with manipulation-rules that the new notation makes possible.