antecessor

operation on ordinal numbers

Kategorie: