A set of nodes in a directed graph where there is a path from every node in the set to every other node in the set.