Talk:Directed Set has Strict Successors iff Unbounded Above
Jump to navigation
Jump to search
Rename
Yes, the capital "Has" was just a mistake. Do you want to get rid of the hyphen? Reword the whole thing? I'm not attached to this name. --Dfeuer (talk) 19:11, 3 January 2013 (UTC)
- I'm Dutch so not fully equipped to judge amalgamations of words. That's why I added the call mainly: so that our British native PM can shed his light onto it. --Lord_Farin (talk) 19:13, 3 January 2013 (UTC)
- Let's simply dash to "Directed Set has Strict Successors iff Unbounded Above". How's the sound of that? --Lord_Farin (talk) 19:22, 3 January 2013 (UTC)
- Currently doesn't cover "iff". Does the implication go both ways? --prime mover (talk) 19:30, 3 January 2013 (UTC)
- Yes, almost trivially. Try to suppose $x$ is an upper bound. I said "dash" because it wasn't covered yet. --Lord_Farin (talk) 19:33, 3 January 2013 (UTC)