Our result is about inclusions for (finite or infinite) countable directed graphs. In the proof, we use Free Probability Theory, groupoids, and algebras of operators (von Neumann algebras). We show that inclusions of directed graphs induce quotients for associated groupoid actions. With the use of operator thechniques, we then establish a duality between inclusions of graphs on the one hand and quotients of algebras on the other. Our main result is that each connected graph induces a quotient generated by a free group. This is a generalization of the notion of induced representations in the context of unitary representations of groups, i.e., the induction from the representations of a subgroup of an ambient group. The analogue is to systems of imprimitivity based on the homogeneous space. The parallel of this is the more general context of graphs (extending from groups to groupoids): We first prove that inclusions for connected graphs correspond to free group quotients, and we then build up the general case via connected components of given graphs.Recent work in Free Probability Theory involves algebras of operators (in particular, von Neumann algebras) based on countable directed graphs. We introduce quotients, in this context. We begin by showing that inclusions of directed graphs induce a quotient of associated groupoid actions. With the use of operator techniques, we establish a duality between inclusions of graphs on the one hand and quotients of algebras on the other. Our main result is a generalization of the notion of induced representations in the context of the left regular unitary representations of groups, i.e., induction from representations of a subgroup Υ of an ambient group Γ. In deciding which representations of a group Γ are induced from 662 l. ChoComp.an.op.th.the representations of the subgroup Υ, one must look at systems of imprimitivity based on the homogeneous space Γ/Υ. We show that there is a parallel of this in the more general context of graphs (extending from groups to groupoids): in Corollary 3.4, we do this first for connected graphs, and in Theorem 3.5, we build up the general case via connected components.In Chapter 2, we introduce and include two results of [9] we will need, for the benefit of the readers, and in order to make the paper selfcontained. They are the base stones of Chapter 3.One of our main objects are directed graphs. Directed graphs are combinatorial graphs consisting of vertices, which are represented as points (or nodes), and directed edges, which are represented as the arrowed arcs connecting the vertices, where the arrows represent the direction (or the orientation) of edges. And the other main object is operator algebras. In particular, we will work on Hilbert spaces. Let H be a Hilbert space and let B(H) be the collection of all bounded (or continuous) linear operators. Then, by considering (subspace) topologies of B(H), we can define topological * -subalgebras of B(H). If the given topology is a weak operator topology and the * -subalgebra M of B(H) is close...