Given a set $\mathcal S$, and a class (collection of sets) $\mathcal H$. For any subset of $\mathcal …