Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

What operation is denoted in e.g.:

$\Pi_{i \in I} S_i$

The document in question is:

John C. Reynolds - Types, abstraction, and parametric polymorphism

Since no index order is specified, the operation must be commutative and associative.

I am thinking that is means intersection, based on the idea that union is like addition, and intersection like multiplication. But I want to confirm it.


share|improve this question
add comment

1 Answer

up vote 8 down vote accepted

It usually stands for the cartesian product of the $S_i$, that is the set \[ \prod_{i\in I} S_i = \left\{f \colon I \to \bigcup_{i\in I} S_i \biggm| f(i) \in S_i \text{ for all } i \in I\right\} \]

share|improve this answer
add comment

protected by Asaf Karagila Mar 9 '13 at 3:02

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.