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

For each $i\in I$, $R_i$ is a (binary) relation (on a set $X_i$). Is $(\prod R_i)\circ (\prod R_i)$ the same as $\prod R_i\circ R_i$ as relations on $\prod_{i\in I}X_i$?

share|cite|improve this question
up vote 1 down vote accepted

This is quite easy to see from the definitions, and I think you'll be better off putting it together yourself than having a full answer provided. I expect you know the definitions involved, but just in case you're unclear on anything:

Two elements $(x_i)_{i\in I}$ and $(y_i)_{i\in I}$ of $\prod_{i\in I} X_i$ are related by $\prod_{i\in I} \rho_i$, where each $\rho_i$ is a relation on $X_i$, if $x_i\, \rho_i\, y_i$ for all $i\in I$.

If $\rho$ and $\sigma$ are relations on a set $X$, then $x,y\in X$ are related by $\rho\circ \sigma$ if there is some $z\in X$ such that $x\,\rho\, z\,\sigma\, y$.

Now mix the two definitions together in two different ways, and check whether you get the same thing both times.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.