Source: wikibot/szpilrajn-extension-theorem
= Szpilrajn extension theorem
{wiki=Szpilrajn_extension_theorem}
The Szpilrajn extension theorem, also known as the Szpilrajn-Sierpiński extension theorem, is a result in order theory, specifically within the area concerning partially ordered sets (posets). The theorem provides a method for extending a given partial order to a total order.