Talk:Cardinal Number Less than Ordinal

Can this be revisited? The result being proved seems to be a bit different from the statement. --prime mover (talk) 18:17, 31 August 2012 (UTC)


 * Good catch. --Andrew Salmon (talk) 18:51, 31 August 2012 (UTC)

$x \in T \implies \bigcap T \subseteq x$ is precisely what Intersection Subset (the theorem referenced on that line) says. --Andrew Salmon (talk) 21:09, 31 August 2012 (UTC)

On a side note, for consistency I think it's best to refer to Ordinal rather than Ordinal Number. --Lord_Farin (talk) 21:26, 31 August 2012 (UTC)