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!