partial ordering relation vs sorting

partial ordering relation

noun

  • A partial order. 

sorting

noun

  • Ordering. 

  • Categorizing. 

  • Mending. 

How often have the words partial ordering relation and sorting occurred in a corpus of books? (source: Google Ngram Viewer )