1: \begin{definition}[Chain condition, presaturation, and closure]

2: Let $(\mathbb{P},\leq)$ be a poset. We say that:

3: \begin{enumerate}[label={(\roman*)}]

4: \item (\cite{baumgartner_taylor_sat_gen_ees_two}, as Theorem 4.2) $\mathbb{P}$ is \emph{$\mu$-presaturated} if for every $\lambda<\mu$ and every family $\seq{A_\alpha \mid \alpha<\lambda}$ of antichains,

5: there are densely many $p\in\mathbb{P}$ such that for all $\alpha$, $\{q\in A_\alpha \mid p\compat q\}$ has cardinality $<\mu$. Note that $\mu$-cc implies $\mu$-presaturation.

6: 

7: \item $\mathbb{P}$ is \emph{$<\kappa$-closed} if whenever $\tau<\kappa$ and $\seq{p_\alpha \mid \alpha<\tau}$ is a $\leq$-decreasing sequence in $\mathbb{P}$, there is a $p\in\mathbb{P}$ such that $p\leq p_\alpha$ for all $\alpha<\tau$

8: 

9: \item $\mathbb{P}$ is \emph{$<\kappa$-directed closed} ($<\kappa$-dc) if whenever $D\subseteq \mathbb{P}$ is a directed set\footnote{that is, for all $p,q\in D$, there is an $r\in D$ such that $r\leq p,q$} with $|D|<\kappa$, there is a $q\in \mathbb{P}$ such that whenever $p\in D$, $q\leq p$

10: 

11: \item $\mathbb{P}$ is \emph{$\mu$-preserving} (for $\mu$ a $V$-cardinal) if $V^\mathbb{P}\models ``\check{\mu}\text{ is a cardinal}"$

12: \end{enumerate}

13: \end{definition}

14: