ABSTRACT This paper extends the classical extension theorem established by Edward Szpilrajn ( Fundamenta Mathematicae , 16, pp. 386–389, 1930). Szpilrajn's theorem states that every quasi‐ordering has an ordering extension. Because of its usefulness ...