Let be a discrete group.
A finite subset
is a Kazhdan set if there is an
such that every unitary group representation of
having a unit vector
with
for every
has a nonzero invariant vector. A group has Kazhdan's
property (T) if and only if it has a Kazhdan set.