The Cayley graph generated by a set A is the graph A .V / on a set of positive integers V such that a pair .u; v/ 2 V V is an edge of the graph if and only if ju vj 2 A or uCv 2 A. We denote by G 2 .n; m/ the class of graphs G D .V; E/ such that G is a union of chains and cycles and jV j D n, jEj D m. In this paper, we present an upper bound for the number of independent sets in Cayley graphs A .V / such that A D fdn=2e t; dn=2e f g, V Â OEbn=2c C 1; bn=2c C t [ OEn t C 1; n, where n; t; f 2 N and f < t < n=4. We also describe the graph with the maximum number of independent sets in the family G 2 .n; m/.This research was supported by the Russian Foundation for Basic Researches, grant 04-01-00359.A subset C of vertices of a graph G is called independent if the subgraph generated by C has no edges. We denote by I.G/ the number of all independent sets in a graph G. For any real numbers p and q, we denote by OEp; q the set of natural numbers x such that p Ä x Ä q. The number of vertices in a chain (cycle) is called the length of this chain (cycle), an isolated vertex is considered as a chain of length one. We denote by G 2 .n; m/ the family of graphs G D .V; E/ such that G is a union of chains and cycles and jV j D n, jEj D m. We denote by A .V / the Cayley graph on the set of natural numbers V generated by a set A, that is, such that any pair .u; v/ 2 V V is an edge of the graph if and only if ju vj 2 A or u C v 2 A.Cayley graphs were used in [1] in order to determine the number of sum-free sets in groups. Bounds for the number of independent sets in Cayley graphs were used in [2], [3], and [4] for the proof of the Cameron-Erdős conjecture about the number of sum-free sets in the segment OE1; n.The Cayley graphs that are considered in this paper emerged during the computation of the constants in the Cameron-Erdős conjecture. Theorem 1 gives an upper bound for the number of independent sets in the Cayley graphs of some special form. This is the main result of the paper. We describe also the graph with the maximum number of independent sets in the family G 2 .n; m/. Theorem 2 partially (for k D 2) confirms the N. Alon conjecture about the structure of the k-regular graphs with the maximum number of independent sets. Theorem 1. Let n; t; f 2 N, f < t < n=4, and A D fdn=2e t; dn=2e f g;V D OEbn=2c C 1; bn=2c C t [ OEn t C 1; n: