# Formulation of functions & sets

I am trying to formulate in a document some work done. However I have a problem defining the following. If I have a problem defined as the tuple $\langle X,Y \rangle$ such that $(x,(y_{11},y_{12},y_{13},\ldots,y_{1N}))$. How can I define this relation in cartesian products?

For example if X = {$x_{1},x_{2},x_{3}$} and N = 2 then Y = {{$y_{11},y_{12}$}, {$y_{21},y_{22}$}, {$y_{31},y_{32}$}} and should define the pairs ($x_{1}$, ($y_{11},y_{12}$)), ($x_{2}$, ($y_{21},y_{22}$)), ($x_{3}$, ($y_{31},y_{32}$)).

Thank you

-
@Ahmed: This site addresses research-level questions in theoretical computer science. I can migrate your question to math.SE, where you may get an answer. Shall I do that? – Dave Clarke Mar 29 '11 at 8:17
@Dave Yes and thank you for clearing that up :) – 3ashmawy Mar 29 '11 at 8:29
Your notation suggests that $X \in \mathcal{X}$ and $Y \in \mathcal{Y}^N = \mathcal{Y} \times \cdots \times \mathcal{Y}$ ($N$ times) so that $\langle X, Y \rangle \in \mathcal{X} \times \mathcal{Y}^N$. Without further information it seems impossible to say more. – t.b. Mar 29 '11 at 8:59
@Theo I added an example above to elaborate what I mean. I dont think your suggestion would suffice in that context. Please correct me if you think otherwise. – 3ashmawy Mar 29 '11 at 10:33