This is nitpicking, of course, but making axioms explicit is part of formality. A fun aside could be pointing out that without transitivity, sorting lists with repeated elements may be possible! E.g., in the game of rock-paper-scissors, the list (rock, paper, scissors, rock) is perfectly sorted!