$y$ is unbounded. The statement could be rewritten $\exists y \in \mathcal P(x): S \sim y$, but that's arguably harder to read. --Dfeuer (talk) 15:55, 30 April 2013 (UTC)