Talk:Birkhoff's representation theorem

Link Dedekind–MacNeille_completion?
That article links to this one, and I think it would be helpful if the links ran in both directions?

I wonder also what the history is here. The articles say both concepts were introduced in 1937 papers. Did one sight the other, or both growing out of same milieu? — Preceding unsigned comment added by Sonarpulse (talk • contribs) 00:10, 6 December 2021 (UTC)

proof unfinished: In order to prove isomorphism, you also need to show join and meet are preserved, not just bijection. — Preceding unsigned comment added by 201.170.160.42 (talk) 03:15, 3 May 2022 (UTC)
 * It's obviously order-preserving, from which join and meet are automatic. —David Eppstein (talk) 05:52, 3 May 2022 (UTC)