Predimension
noun
noun ·Rare ·Advanced level
Definitions
Noun
- 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.."
Example
More examples"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.."
Etymology
From pre- + dimension.
More for "predimension"
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.