後続元
定義
整列集合
$ \lang A,\leq \rang
について，
$ b \in A
が以下を満たすなら
$ a \in A
の
後続元
である
と呼ぶ．
$ a < c < b
な
$ c \in A
が存在しない．