Definition. Finite type and finite $\Delta$-complex [2A0Q]

We say that $X$ is of finite type if for each $k \ge 0$, it has only finitely many $k$-simplices. We say $X$ is finite if it has only finitely many simplices altogether.