Talk:Diagonal Relation is Universally Compatible

From ProofWiki
Jump to navigation Jump to search

Questionable aspect

I need this for properties of ordered groups. Can we resolve the question about the name? --Dfeuer (talk) 23:00, 5 January 2013 (UTC)

Can't you use it as it is? --prime mover (talk) 23:10, 5 January 2013 (UTC)
I'd say that whatever the definition of universally compatible would become, $\Delta_S$ most definitely should adhere to it... So I'd just use it as-is. --Lord_Farin (talk) 23:14, 5 January 2013 (UTC)