Fuente TeX:
\#\{T(v_1), ..., T(v_n)\}=n