We say that a linear subspace A of C0(X) is strongly separating if given any pair of distinct points $x_{1},x_{2}$ of the locally compact space X, then there exists f ...
Perold, André. "Extreme Points and Basic Feasible Solutions in Continuous Time Linear Programming." SIAM Journal on Control and Optimization 19, no. 1 (1981): 52–63.