Critical pair

In mathematics, a critical pair may refer to:

Critical pair (term rewriting), terms resulting from two overlapping rules in a term rewriting system
Critical pair (order theory), two incomparable elements of a partial order that could be made comparable without changing any other relation in the partial order
The pair of polynomials associated with an S-polynomial in Buchberger's algorithm for computing a Gröbner basis

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.