antecessor

operation on ordinal numbers

分类: