bn:01714674n
Noun Named Entity
SYL
No term available
EN
In order theory, the Szpilrajn extension theorem, proved by Edward Szpilrajn in 1930, states that every partial order is contained in a total order. Wikipedia
Relations
Sources