In Appendix C of arXiv:1510.05757v2, I prove some basic facts about products of Banach algebra elements over an infinite totally ordered set $A$. The product is defined as you'd expect. Definition. The product $\prod_{p \in A} x_p$ is the limit of the net that gives the product over each finite ...