maths~reader
New member
- Joined
- Oct 26, 2011
- Messages
- 8
Hi again,
Is it valid to use relational image within an set comprehension? Something like this
\(\displaystyle R1 = P \mapsto Q\) ** Partial relation **
\(\displaystyle R2 = R \mapsto H\) ** Partial relation **
\(\displaystyle {h:H|R2({q:Q;p
|p\mapsto q})}\) ** Please note '(' ')' i actually mean the relational image symbol. I couldn't find a latex command.
So question is could i use the relation command in the constraint part within the set comprehension?
Thanks
Is it valid to use relational image within an set comprehension? Something like this
\(\displaystyle R1 = P \mapsto Q\) ** Partial relation **
\(\displaystyle R2 = R \mapsto H\) ** Partial relation **
\(\displaystyle {h:H|R2({q:Q;p
|p\mapsto q})}\) ** Please note '(' ')' i actually mean the relational image symbol. I couldn't find a latex command.So question is could i use the relation command in the constraint part within the set comprehension?
Thanks