“…Farkas-type results for convex systems (characterizing families of inequalities which are consequences of a consistent convex system σ) are fundamental in convex optimization and in other fields as game theory, set containment problems, etc. Since the literature on Farkas lemma, and its extensions, is very wide (see, e.g., the survey in [15]), we just mention here some works giving Farkas-type results for the kind of systems considered in the paper: [3,11,16,22] for semi-infinite systems, [9,14,17,21] for infinite systems, and [8,18,19] for cone convex systems.…”