Essential infimum