Dushnik–Miller theorem (source code)

= Dushnik–Miller theorem
{wiki=Dushnik–Miller_theorem}