Set subsection mark and label for "Disjunctive sets"
Add initial part of subsection about disjunctive sets