基数関数
b ( P ) = min { | Y | : Y ⊆ P ∧ ( ∀ x ∈ P ) ( ∃ y ∈ Y ) ( y ⋢ x ) } {\displaystyle {\mathfrak {b}}({\mathbb {P} })=\min {\big \{}|Y|:Y\subseteq {\mathbb {P} }\ \wedge \ (\forall x\in {\mathbb {P} })(\exists y\in Y)(y\not \sqsubseteq x){\big \}}} , d ( P ) = min { | Y | : Y ⊆ P ∧ ( ∀ x ∈ P ) ( ∃ y ∈ Y ) ( x ⊑ y ) } {\displaystyle {\mathfrak {d}}({\mathbb {P} })=\min {\big \{}|Y|:Y\subseteq {\mathbb {P} }\ \wedge \ (\forall x\in {\mathbb {P} })(\exists y\in Y)(x\sqsubseteq y){\big \}}}
PCF理論において、 p p κ ( λ ) {\displaystyle pp_{\kappa }(\lambda )} という基数関数が使われている。