Strongly connected components

Let be a directed graph. We say is a strongly connected component if all vertices are strongly connected and is maximal with this property.