groupoid vs magma

groupoid

noun
  • A set with a partial binary operation that is associative and has identities and inverses. 

  • A magma: a set with a total binary operation. 

magma

noun
  • A basic algebraic structure consisting of a set equipped with a single binary operation. 

  • The molten matter within the earth, the source of the material of lava flows, dikes of eruptive rocks, etc. 

  • The residuum after expressing the juice from fruits. 

  • Any soft doughy mass. 

How often have the words groupoid and magma occurred in a corpus of books? (source: Google Ngram Viewer )