To denote non-empty subsets, I repeatedly find myself writing $A\subset S, A\neq \emptyset$. Is there any established shorthand for this, you know, like $A\subset S$ can be seen as a shorthand for $A\subseteq S, A\neq S$?
[Math] Notation for non-empty subset
elementary-set-theorynotation
Best Answer
Try $\emptyset \neq A \subset S$.