Theorem
There is a subtle cardinal ≤κ if and only if every transitive set S of cardinality κ contains x and y such that x is a proper subset of y and x ≠ Ø and x ≠ {Ø}. An infinite ordinal κ is subtle if and only if for every λ<κ, every transitive set S of cardinality κ includes a chain (under inclusion) of order type λ.
Read more about this topic: Subtle Cardinal
Famous quotes containing the word theorem:
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (19131960)