partial ordering relation vs well-order

partial ordering relation

noun

  • A partial order. 

well-order

noun

  • A total order of some set such that every nonempty subset contains a least element. 

verb

  • To impose a well-order on (a set). 

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