Dimensions in algebraically closed fields
All of these dimension functions (where defined) agree on definable sets in algebraically closed fields.