Preliminaries on Linear Semi-infinite Optimization