Separating sets with relative interior in Fréchet spaces

A separation theorem, valid in infinite dimensional spaces, and involving the relative interior of the sets to be separated, will be extended to Fréchet spaces. This theorem will be elucidated by means of a few examples. The second separation theorem is a generalization of an existing separation theorem, valid in Fréchet spaces. This paper consists of two parts: part I contains the first theorem, the second part contains the second generalization.