John -- Typo in 4th equation from the bottom of the lecture?

\[ f^{\ast}(P \vee Q) = \\{ \\{11, 22 \\} \\} . \]

should be

\[ f^{\ast}(P \vee Q) = \\{ \\{11 \\} \\} . \]