successor

번역은

다음수 <- 다음 item.
다음수함수 <- s'에서 '?
...
그런데 항상 수,number가 아니므로

적당한 번역이??

successor
{ 2023-12-19 4개: "바로 뒤"
immediate successor 바로 뒤 원소
successor 바로 뒤의 원소
successor function 바로 뒤의 원소함수
successor preserving function 바로 뒤의 원소보존함수
successor set 바로 뒤의 원소집합
}

바로뒤 외에 가능한 번역들은....(대충 생각난거, del ok)
바로다음
다음수
바로다음수
다음원소
바로다음원소
... 너무 긴데....

QQQ
increment by one과 '정확히' 어떤 관계인지. // 증가,increment? increment 하나,one

Rel
석세션,succession { succession succession Page name confirmed via Kornorms 2023-12-06. }
연산,operation
연산자,operator
hyperoperation
hyperoperator
산술,arithmetic
arithmetical_hierarchy arithmetical_hierarchy ? Arithmetical_hierarchy

자연수,natural_number의 구성 due to 페아노_공리,Peano_axiom

영,zero은 어떤 수의 successor도 아님.
하나,one : successor of zero.
둘,two: successor of one = successor of successor of zero.
and so on.
(위에서 말한 successor는 immediate successor만을 뜻함)