由于在要素中存在强连通块，而且构成它的要素集中都是互相可达且互为先行的，它们就构成一个（ ）。