We define an analog of Voiculescu’s free entropy for n-tuples of unitaries u1, . . . , un in a tracial von Neumann algebra M which normalize a unital subalgebra L[0, 1] = B ⊂ M. Using this quantity, we define the free dimension δ0(u1, . . . , un G B). This number depends on u1, . . . , un only up to orbit equivalence over B. In particular, if R is a measurable equivalence relation on [0, 1] gen...