I recently isolated the following definition, which I believe it should have appeared somewhere.
Let $\kappa$ be a cardinal, and let $X$ be a set with $\kappa^+\leq |X|$.
Definition: An ideal $\mathcal I\subseteq \mathcal P(\mathcal P_{\kappa^+}(X))$ is called a B-ideal if the following hold.
- for every $x\in X$, $\{A\in \mathcal P_{\kappa^+}(X):x\in A \}$ is not in $\mathcal I$.
- $(\mathcal I^{+},\subseteq)$ has a $\kappa$-closed dense subset.
In my definition B stands for Baumgartner. $\kappa$-closedness is about sequences of length less than $\kappa$.
My question is if such an ideal has a name in the litrature?