Suppose U={(x1,x2,… )∈F∞:xj≠0 for only finitely many j}U = \{(x_1,x_2,\dots) \in \mathbf{F}^\infty : x_j \ne 0 \text{ for only finitely many }j\}U={(x1,x2,…)∈F∞:xj=0 for only finitely many j}
TODO