infima

not defined yet