A efectos de algo en lo que estoy trabajando, necesito definir y utilizar una notación que se refiera a los elementos de conjuntos que son a su vez elementos de otro conjunto, con una profundidad arbitraria, y que sólo aparecen una vez.
He visto la notación $x \in_n X$ utilizado con los conjuntos múltiples, para denotar que el elemento $x$ tiene una multiplicidad de $n$ en el multiconjunto $X$ Así que me imagino que podría usar $\in_1^k$ y luego definirlo junto a la fórmula. Es engorroso utilizar un lenguaje como "un elemento de un elemento de un elemento de..." hasta una profundidad de $k$ . Incluso " $x$ aparece exactamente una vez en los elementos anidados de $X$ a una profundidad de $k$ " puede ser difícil de entender. Tal vez, " $x$ es un $k$ sub-elemento de orden t de $X$ con una multiplicidad de $1$ "?
¿Hay alguna forma más concisa de describir esto? O, mejor aún, ¿existen ya anotaciones o términos que se ajusten a este propósito? Aunque me gusta mi última idea. ¿Es una formulación intuitiva?
