Π_{i ∈ I} X_i := {(x_i)_{i ∈ I} ∈Map(I, X) | ∀i ∈ I x_i ∈ X_i}

I = φ のとき、

Π_{i ∈ I} X_i := {(x_i)_{i ∈ I} ∈Map(I, X) | ∀i ∈ I x_i ∈ X_i}

はどう考えればいいのでしょうか? 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)