Use logical notation to define and reason about fundamental mathematical concepts such as sets, relations, functions, and integers.

The first step for enabling dimensional notation is to enable dimensional capability in the logical data model.