In set theory, a Laver function (or Laver diamond, named after its inventor, Richard Laver) is a function connected with supercompact cardinals.
Read more about Laver Function: Definition, Applications
Famous quotes containing the word function:
“My function in life is not to be a politician in Parliament: it is to get something done.”
—Bernadette Devlin (b. 1947)