Szpilrajn extension theorem

מוויקיפדיה, האנציקלופדיה החופשית