Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In the book "Set Theory" of Thomas Jech, it is defined for any two stationary subsets $S,T$ of a regular uncountable cardinal $\kappa$, $S<T$ if and only if $S\cap\alpha$ is stationary in $\alpha$ for almost all $\alpha\in T$.

The author previously states:

"In the context of closed unbounded and stationary sets we use the phrase for almost all $\alpha\in S$ to mean that the set of all contrary $\alpha\in S$ is nonstationary".

I don't know what the author means by "contrary", thanks for any help.

share|cite|improve this question
up vote 3 down vote accepted

If $P$ is some statement about ordinals, the statement

$P(\alpha)$ is true for almost all $\alpha\in S$

means that $\{\alpha\in S:P(\alpha)\text{ is false}\}$ is non-stationary. By the set of all contrary $\alpha$ he means simply $\{\alpha\in S:P(\alpha)\text{ is false}\}$.

share|cite|improve this answer
Thank you for your answer – Camilo Arosemena Jan 7 '13 at 17:44
@Camilo: You’re welcome. – Brian M. Scott Jan 7 '13 at 17:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.