Let be a saturated model of inaccessible cardinality, and let be arbitrary. Let denote the expansion of with a new predicate for. Write for the collection of subsets such that ≡. We prove that if the VC-dimension of is finite then is externally definable.