Talk:Critical pair
![]() | This disambiguation page does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||
|
The usage in term rewriting
[edit]The section that describes the usage in term rewriting does not define what a CP is in a way which I could understand (I do understand all the terms that appear in the text). A clear and precise definition would be an important contribution to this page. AmirOnWiki (talk) 16:13, 20 April 2011 (UTC)
Yes, it should be split.
[edit]The two senses of critical pair have so little in common that retaining them together on a single page seems to me nearly indefensible. Separating them and creating a disambiguation page definitely gets my vote as the way to go.—PaulTanenbaum (talk) 00:21, 22 April 2011 (UTC)
Fixed the entry for order theory
[edit]The new description I've just put in is less than ideal in that, though it is brief, it does lack rigor. But its minor vagueness and its colloquialism are a small price to pay for actual correctness. The replaced description was wrong, as is shown by the following example: for the set {{a}, {a, A}, {b}, {b, B}} ordered by set containment, ({a}, {b, B}) is a critical pair but {a} and {b, B} do not "have the same order relation to all other elements."—PaulTanenbaum (talk) 18:25, 3 January 2014 (UTC)
- I used your example for an illustration in the Critical pair (order theory) article, also indicating that "is a critical pair" is not a symmetric relation (as the replaced description suggested). - Jochen Burghardt (talk) 20:11, 3 January 2014 (UTC)