1: \begin{definition}

2: Given a concept class $\mathscr C$ on a domain $\Omega$ and an ideal $I$ of subsets of $\Omega$, we define the VC dimension of $\mathscr C$ modulo $I$, 

3: \[\VC({\mathscr C}\,{\mathrm{mod}}\,I) = \VC({\mathscr C}\upharpoonright S(2^\Omega/I)).\]

4: That is, $\VC({\mathscr C}\,{\mathrm{mod}}\,I)\geq n$ if and only if any of the equivalent conditions of Theorem \ref{th:shatter} are met. 

5: \end{definition}

6: