>171
Tは要素のパリティを表現できる程度の強さが必要なんじゃね？双対とかそんな感じの。
あと蛇足だけど、偶数の無限と奇数の無限があるから、偶数奇数と無限を切り離して考えるのは無意味。