supremum

not defined yet