Analogical proportions in monounary algebras and difference proportions

08/14/2022

∙

by   Christian Antic, et al.

∙

0

∙

share

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.