Solution
= Solution
The empty language belongs to $\mathbf{Emp}$, so the second case applies:
$$
\mathbb B\setminus K\leq_m\mathbf{Emp}.
$$
It does not belong to $\mathbf{Inf}$, so the first case applies:
$$
K\leq_m\mathbf{Inf}.
$$
= Solution
The empty language belongs to $\mathbf{Emp}$, so the second case applies:
$$
\mathbb B\setminus K\leq_m\mathbf{Emp}.
$$
It does not belong to $\mathbf{Inf}$, so the first case applies:
$$
K\leq_m\mathbf{Inf}.
$$