Tractatus

5.232

La relation interne qui ordonne une série est équivalente à l’opération par laquelle un terme de la série est engendré par un autre.