$T$ is finite because it is a subset of the power set $P(X)$ which has $2^n$ elements. But that doesn't mean that $T$ itself has $2^n$ elements, it could have fewer.
$T$ is finite because it is a subset of the power set $P(X)$ which has $2^n$ elements. But that doesn't mean that $T$ itself has $2^n$ elements, it could have fewer.