antecessor

operation on ordinal numbers

카테고리: