Can anyone tell me if there's a term for this concept?
Given a DAG $D=(V,A)$, I have a collection of subsets of $V$. Let's call that collection $C = \{ S_1, S_2, \ldots, S_n \}$.
($S_1 \cup S_2 \cup \dots \cup S_n$) could be any (improper) subset of $V$. However, the sets contained within $C$ are all mutually disjoint.
Is there a name for the kind of thing that "$C$" is?
If the members of $C$ collectively covered all of the DAG then I would call $C$ a "partition".