  We use the language and tools available in model theory to redefine and
clarify the rather involved notion of a {\em special subvariety} known from the
theory of Shimura varieties (mixed and pure).
