Majors of functions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Order Year : 2018

Majors of functions


We investigate the minor order of functions, focusing on upper covers and common upper bounds of pairs of functions. We show that two functions of arities m and n have a common upper bound if and only if they have a common lower bound, and if a common upper bound exists, then there is one of arity m + n − 1. Moreover, we determine the possible essential arities of upper covers of functions.
Fichier principal
Vignette du fichier
Majors-HAL.pdf (126.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01519377 , version 1 (07-05-2017)



Miguel Couceiro, Erkko Lehtonen. Majors of functions. Order, 2018, 35 (2), pp.233-246. ⟨10.1007/s11083-017-9428-1⟩. ⟨hal-01519377⟩
443 View
103 Download



Gmail Facebook X LinkedIn More