lava vs residuum

lava

noun
  • The molten rock ejected by a volcano from its crater or fissured sides. 

  • Magma. 

  • A shade of red, named after the volcanic lava. 

residuum

noun
  • The solid material remaining after the liquid in which it was dissolved has been evaporated; a residue. 

  • The residue of an estate. 

  • The residue, remainder or rest of something. 

  • A binary function from [0,1] × [0,1] to [0,1] which is defined in terms of the t-norm as follows: x→y= sup z|z*x⩽y, where * denotes the t-norm function and sup denotes the supremum. 

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