Category talk:Inverse Relations

From ProofWiki
Jump to navigation Jump to search

Union of <property> Relations is <property> (e.g. Inverse of Antitransitive Relation is Antitransitive) are already contained in Inverse Relation Properties --Inconsistency (talk) 19:13, 9 June 2015 (UTC)

I don't follow you. Apart from one instance, there are no results here concerning unions.
I'm sorry. I meant to write "Inverse of <property> Relations is <property>" though not all are duplicates. Just 3 if I'm not mistaking: Inverse of Asymmetric Relation is Asymmetric and Inverse of Antireflexive Relation is Antireflexive are the other two. --Inconsistency (talk) 19:43, 9 June 2015 (UTC)
They're all in there. Inverse Relation Properties contains transclusions of all those results. That's intentional. --prime mover (talk) 19:55, 9 June 2015 (UTC)
Oh, and please no underscores in internal links, it makes maintenance difficult. --prime mover (talk) 19:24, 9 June 2015 (UTC)
Didn't know that. Sorry. --Inconsistency (talk) 19:43, 9 June 2015 (UTC)
I refer you to Open Set minus Closed Set is Open. (I have fixed them, but there were still some underscores.) Please pretty please do not put underscores in internal links. Seriously, it can make the task of general maintenance work much more difficult if there are underscores in links that we are doing a global search for.
But I'm curious: how can it ever be easier to put underscores in your links in the first place? What is the mechanism by which they get entered? --prime mover (talk) 20:54, 10 June 2015 (UTC)
Ahhh, I now understand what you meant. I assumed you meant [link|no undercore] but it is [no underscore|house style] right?
For me it's easier. I just copy the last part of the URL. If I understood you correctly and this should happen again just tell me and I'll fix it.
Ohh -- the URL. Nah. Copy and paste the title itself. It's nice and big, it's at the top of the page, you can't miss it. :-)
Again, I'm sorry. --Inconsistency (talk) 23:01, 10 June 2015 (UTC)

(Discussion about existing pages moved into user talk)