There is a constant family $ (X){i \in I} $ . Its product $ \prod{i \in I} X $ , if it exists, is written as $ X^I $ and called a power of $ X $ . We met powers in $ \mathbf{Set} $ in Section X.