¿Es válido utilizar operadores de conjunto con secuencias?
Digamos que tengo un conjunto de elementos $O$ y quiero definir una secuencia de elementos $P$ compuesto exclusivamente por elementos de $O$ ¿es válida la siguiente notación?
$P = (a_0, a_1, a_2, ..., a_n) \subseteq O$
Del mismo modo, digamos que luego quiero crear un mapeo de un elemento $a$ en la secuencia $P$ a su índice $i$ ¿es válido decir que este mapeo se define como:
$Q(a) = i$ donde $a = a_i \in P$
Sé que el ejemplo anterior es un poco trivial, pero necesito utilizarlo en definiciones más complejas, así que tengo que asegurarme de que tiene sentido.