The inclusion of ideal-limit points under IK\mathcal{I}^{\mathcal{K}}IK-convergence
Expected inclusion.