後続順序数
後続順序数および 0 は順序位相(英語版)に関して順序数全体の成す類の孤立点である