Property (T) was defined by Kazhdan in the 1960s, who used
it to prove two conjectures of Selberg on lattices in high-rank Lie
groups. Shortly after that, Margulis used it to construct
expander graphs.
Property $\tau$ is a baby version of property (T...