Solution (source code)

= Solution

\b[False.] The constant map to $E$ satisfies it: $E\in I$ and also $E\in J\subset J\cup K$.