¹Note that this can happen even when $T_{\mathrm{\Sigma }∕E,k}$ is an infinite set: there is no requirement that $T_{\mathrm{\Sigma }∕E,k}$ is finite.