The examples above are problems in which the data-flow value is a set, e.g. the set of reaching definitions (Using a bit for a definition position in the program), or the set of live variables.
out_b = \bigcup_{s \in succ_b} in_s .