Szpilrajn extension theorem

ID: 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.

New to topics? Read the docs here!