Infinite-dimensional vector optimization and a separation theorem. (1st December 2020)