Cards
- Almost Equal (ほぼ等しい) (Definition II.5.6)
- Antisymmetric
- Bounds and Extrema
- Canonical Surjection
- Cardinality / Equipotence
- Cardinality Comparison
- Centered Family / Filter-Subbase (有心族・準基) (Definition II.2.3)
- Character of a Filter (指標) (Definition II.2.17)
- Cocountable Filter at $B$ (余可算フィルター) (Example II.2.24)
- Cofinite Filter at $B$ (余有限フィルター) (Example II.2.20)
- Cofinite Filter of $B$ centered at $A$ (Definition II.4.3)
- Cofinite Subset (余有限集合)
- Composition
- Correlation (相関)
- Countability
- Countably Based Filter (可算基をもつフィルター) (Definition II.2.16)
- Countably Carried Filter (可算台をもつフィルター) (Definition II.2.15)
- Difference
- Disjoint Union
- Equality vs. Definition
- Equivalence Relation
- Fiber
- Filter (フィルター)
- Filter Complementary Set Extension ($\mathcal{F} \setminus A$)
- Filter Decomposition Theorem (Theorem II.4.1)
- Filter of Cofinite Preimages ($\Gamma_\varphi$)
- Filter-Base (フィルター基・底) (Definition II.2.1)
- Finite and Infinite
- Finite Subsets
- Fréchet Filter (フレシェ・フィルター) (Definition II.3.8)
- Free Filter (自由フィルター) (Definition II.2.7)
- Free Part (自由部分)
- Graph of a Map
- Identity Relation (Diagonal)
- Image and Preimage
- Injectivity, Surjectivity, Bijectivity
- Inverse Map
- Inverse Order
- Inverse Relation
- Kernel (核)
- Lattice
- Map
- Minimal and Maximal Elements
- Natural Numbers
- Neighborhood Filter Properties
- Neighborhood of $x$ (近傍) (in $\mathbb{R}$)
- Order (包含関係による順序)
- Order Isomorphism
- Partition
- Permutation
- Preorder
- Principal Filter (主フィルター) (Definition II.2.4)
- Proper Filter (固有フィルター)
- Quotient Set
- R-bipolar
- R-polar
- Reflexive
- Relation
- Restriction of a Filter (フィルターの制限)
- Restriction
- Sequence (点列・数列)
- Sequential Filter (列フィルター) (Definition II.2.9)
- Sets and Elements
- Strict Order
- Subcofinite / Almost Principal Filter (亜余有限・ほぼ主フィルター) (Definition II.5.8)
- Subsequence (部分列)
- Subset
- Symmetric
- Transitive
- Ultrafilter (極大フィルター / ウルトラフィルター) (Definition II.3.9)
- Uncountability
- Union of Images