  We relate the notions of spectral gap for unitary representations and
subfactors with definability of certain important sets in the corresponding
structures. We give several applications of this relationship.
