Existe una notación común de la alimentación de establecer excluyendo el conjunto vacío?

Question

Para cualquier conjunto $S$, $\mathcal{P}(S)$ denota el poder conjunto de $S$ $\emptyset \in \mathcal{P}(S)$ siempre. Esencialmente, quiero anotar el conjunto que es igual a la potencia de ajuste (de algunos $S$), pero sin incluir el conjunto vacío. Yo estaba pensando acerca de la escritura de $\mathcal{P}^+$ y la definición de que (como $\mathcal{P}^+(S) := \mathcal{P}(S) - \emptyset = \mathcal{P}(S)\setminus \{\emptyset\}$), pero esto podría ser una cosa bastante común que alguien ya ha establecido una notación para él.

Wikipedia et al. no menciona nada, pero tal vez hay algo, sin embargo. Prefiero establecido una notación si es que la hay (aunque aún definir a qué me refiero).

Answer 1

Yo no soy consciente de que cualquier notación (y en el negocio de las funciones de elección, uno ejecuta una gran cantidad en $\mathcal P(S)\setminus\{\varnothing\}$).

Está bien para hacer su propio, pero asegúrate de ser consistente al respecto, y para definir al comienzo de su trabajo.

Hay un riesgo de tener demasiadas anotaciones, que puedan influir en el lector. A veces, sólo la escritura explícitamente funciona igual de bien. Si estás cansado de hacer eso, escribir un Látex macro.

Answer 2

Me gustaría sugerir el uso de algo cercano a la notación estándar, por ejemplo, $\mathcal{P}_{\lt \omega}(X)$ o $[X]^{\lt \omega}$ es utilizado para el conjunto de los subconjuntos finitos de $X$, así que ¿por qué no $\mathcal{P}_{\geq 1}(X)$ o $[X]^{\geq 1}$?