For a graph G and a subset S^t of the vertex set V(G), denote by N_G^t[S^t] the set of vertices in G which are adjacent to a vertex in S^t. If N_G^t[S^t] = V(G), then S^t is said to be a total dominating set (of vertices in G). Because members of a total dominating set must be adjacent to another vertex, total dominating sets are not defined for graphs having an isolated vertex. The total dominating set differs from the ordinary dominating set in that in a total dominating set S^t, the members of S^t are required to themselves be adjacent to a vertex in S^t, whereas is an ordinary dominating set S, the members of S may be either in S itself or adjacent to vertices in S.

dominating set | total domination number