Text this: Vector optimization with infimum and supremum /