Robert Duncan Luce: Semiorders and a Theory of Utility Discrimination. In: Econometrica. Band24, Nr.2, April 1956, S.178–191, hier S. 179 (uci.edu [PDF] Luces ursprüngliches Beispiel besteht aus 400 Vergleichen (von Kaffeetassen mit unterschiedlichen Zuckermengen) statt nur 2).
wikipedia.org
en.wikipedia.org
Die Antisymmetrie von R macht die Koreflexivität(en) von J notwendig, daher ist die Vereinigung von J und dem transitiven Teil P wieder transitiv.