User talk:Abcxyz/Sandbox/Dedekind Completions of Ordered Sets

Let me just check to be sure I'm understanding. Is this an alternative definition combined with an equivalence proof? --Dfeuer (talk) 04:47, 27 January 2013 (UTC)