An ordinal notation is, generally, a method for systematically naming ordinals (usually countable ones). More specifically, it is a partial function from finite strings in a finite alphabet to ordinals, although in practice the term is applied to more general cases than this.