Functorially

Building on work of Iyama, Reiten, Thomas, and Todorov, we show that this directed graph is a semidistributive lattice by using the isomorphism to the lattice of functorially finite torsion classes of the corresponding cluster-tilted algebra when the exchange graph is finite.