Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
What is it's name? – Arulx Z Jun 27 '15 at 9:20
up vote 9 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|cite|improve this answer

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

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

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.