Dictionary

predimension en · NOUN

Etymology

Etymology tree Proto-Indo-European *per- Proto-Indo-European *preh₂- Proto-Indo-European *-i Proto-Indo-European *préh₂i? Proto-Italic *prai Proto-Italic *prai- Latin prae-lbor. Middle English pre- English pre- Proto-Indo-European *dwóh₁ ▲ Proto-Indo-European *trísinflu. Proto-Indo-European *d(w)is- Proto-Italic *dis- Latin dis- Proto-Indo-European *meh₁- Proto-Italic *mētis Latin mētior Latin dīmētior Proto-Indo-European *-tis Proto-Indo-European *-Hō Proto-Indo-European *-tiHō Proto-Italic *-tiō Latin -tiō Latin dīmēnsiōder. English dimension English predimension From pre- + dimension.

Meanings

1. The result of a function on a group of sets, where the function satisfies three conditions: (1) it returns 0 for the empty set; (2) if one set is contained in another set, the function always returns a value that is less than or equal to the result for the containing set; (3) the result for the union of two sets is less than or equal to the sum of the results for each of those sets individually minus the result for their intersection.
   • We also demonstrate how Hrushovski's predimension arises in this general context as a natural geometric notion and use it as one of our main tools.. 2016, Boris Zilber, “Analytic Zariski structures and non-elementary categoricity”, in arXiv:

Forms