Similar to 累積的階層
順序型
Order type順序数定義可能集合
Ordinal definable set順序対
Ordered pair上極限と下極限
Limit inferior and limit superior推移関係
Transitive relation推移的集合
Transitive setスコットのトリック
Scott's trick正則性公理
Axiom of regularity整礎的集合
全順序
Total order全単射
Bijection素集合
Disjoint sets素朴集合論
Naive set theoryソロヴェイモデル
Solovay model対角線共通部分
Diagonal intersection▼-1 trends対称関係
Symmetric relationダイヤモンド原理
Diamond principle単位区間
Unit interval単射
Injective function超フィルター
Ultrafilter重複度 (数学)
Multiplicity (mathematics)直積集合
Cartesian product対関数
Pairing function対の公理
Axiom of pairing定義可能実数
Definable real number定常集合
Stationary setデデキント無限
Dedekind-infinite setテューキーの補題
Teichmüller–Tukey lemma