Talk:Initial Segment of Ordinal is Ordinal

What if Segment is Empty
Then you cannot say "Let $b \in S _a$" --asalmon

Reverted
Sorry, but I have reverted the recent edits on this page, as they do not improve it. The "comment" field does not lend itself to essays. If a considerable amount of explanation is necessary (as I don't believe it was here) then that should be extracted as a separate exposition. One of the aims of ProofWiki is to be concise and minimally wordy. --prime mover 06:40, 28 June 2012 (UTC)