Talk:Directed Set has Strict Successors iff Unbounded Above

From ProofWiki
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)
I'm American, and I think it looks wrong to have the words in that order without a hyphen, but having that amalgamation also looks awkward. Ideally, the title could be rewritten to be entirely better, but I didn't get enough sleep last night. --Dfeuer (talk) 19:19, 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)
Great --Dfeuer (talk) 19:24, 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)