This paper studies analogical proportions in monounary algebras consisting only of a universe and a single unary function. We show that the analogical proportion relation is characterized in the infinite monounary algebra formed by the natural numbers together with the successor function via difference proportions.
翻译:本文研究了仅包含全域和一个单一元函数的单幺代数中的类比比例关系。我们证明,在由自然数及其后继函数构成的无限单幺代数中,类比比例关系可通过差分比例进行刻画。