xが順序数⇔x は推移的集合であり x の要素もまた推移的集合

wikipediaの自然数の「単純な構成」（多分ツェルメロによるもの）では
0,1は順序数だが、2={{{}}}は順序数ではない