We develop the theory of set-indexed families of sets within the informal Bishop Set Theory pBSTq, a reconstruction of Bishop's theory of sets,. The latter is the informal theory of sets and functions underlying Bishop-style constructive mathematics pBISHq and it is developed in Chapter 3 of Bishop's seminal book Foundations of Constructive Analysis [9] and in Chapter 3 of Constructive Analysis [19] that Bishop co-authored with Bridges.In the Introduction we briefly present the relation of Bishop's set theory to the set-theoretic and type-theoretic foundations of mathematics, and we describe the features of BST that "complete" Bishop's theory of sets. These are the explicit use of the class "universe of sets", a clear distinction between sets and classes, the explicit use of dependent operations, and the concrete formulation of various notions of families of sets.In Chapter 2 we present the fundamentals of Bishop's theory of sets, extended with the features which form BST. The universe V 0 of sets is implicit in Bishop's work, while the notion of a dependent operation over a non-dependent assignment routine from a set to V 0 is explicitly mentioned, although in a rough way. These concepts are necessary to a concrete definition of a set-indexed family of sets, the main object of our study, which is only mentioned by Bishop.In Chapter 3 we develop the basic theory of set-indexed families of sets and of family-maps between them. We study the exterior union of a family of sets Λ, or the ř -set of Λ, and the Abstract subsets to the theory of Bishop spaces, a function-theoretic approach to constructive topology.Associating in an appropriate way to each set λ 0 piq of an I-family of sets Λ a Bishop topology F i , a spectrum SpΛq of Bishop spaces is generated. The ř -set and the ś -set of a spectrum SpΛq are equipped with canonical Bishop topologies. A direct spectrum of Bishop spaces is a family of Bishop spaces associated to a direct family of sets. The direct and inverse limits of direct spectra of Bishop spaces are studied. Direct spectra of Bishop subspaces are also examined. Many Bishop topologies used in this chapter are defined inductively within the extension BISH ˚of BISH with inductive definitions with rules of countably many premises.In Chapter 6 we study the Borel and Baire sets within Bishop spaces as a constructive counterpart to the study of Borel and Baire algebras within topological spaces. As we use the inductively defined least Bishop topology, and as the Borel and Baire sets over a family of Fcomplemented subsets are defined inductively, we work again within BISH ˚. In contrast to the classical theory, we show that the Borel and the Baire sets of a Bishop space coincide. Finally, our reformulation within BST of the Bishop-Cheng definition of a measure space and of an integration space, based on the notions of families of complemented subsets and of families of partial functions, facilitates a predicative reconstruction of the originally impredicative Bishop-Cheng measure theory.