Talk:Dual Pairs (Order Theory)

From ProofWiki
Jump to navigation Jump to search

We need upper set/lower set, and upper/lower closure for sets. And the fact that a convex set is convex in the dual ordering--Dfeuer (talk) 01:59, 20 February 2013 (UTC)

Since you're the one working on order theory, then surely you're the one to do this. As it's a task to be done, better adding it to the page using the WIP template. --prime mover (talk) 06:12, 20 February 2013 (UTC)
Why don't you add it yourself (after posting the definitions and organising them proper)? There's a clear position in the table for these: below the u/l closure of elements. But please, try to do things wholly, not to abandon them in some compromised midway finished state because you're moving on already. --Lord_Farin (talk) 08:29, 20 February 2013 (UTC)