This chapter studies graphs and semigroups related to the collection of finite subsets of a nonempty, countable set \(I\), with special emphasis on the case \(I = \N_+\).