Definition talk:Intersection of Relations

From ProofWiki
Jump to navigation Jump to search

I don't like the name $\mathcal R'$, but otherwise great. --Dfeuer (talk) 14:57, 7 January 2013 (UTC)

I propose $\mathcal R_1$ and $\mathcal R_2$, or $\mathcal R$ and $\mathcal Q$. --Dfeuer (talk) 14:58, 7 January 2013 (UTC)

First suggestion implemented (I feel it's best to use the same letter for things that have similar purpose semantically). --Lord_Farin (talk) 15:00, 7 January 2013 (UTC)
And I generally feel that primes should be used for values either derived from or in some way corresponding to others (e.g., through transformation), although I may slip up from time to time and use them otherwise. --Dfeuer (talk) 15:05, 7 January 2013 (UTC)