Skip to content
Journals Garden
Search
Ctrl
K
Cancel
GitHub
Select theme
Dark
Light
Auto
Garden
Dashboard
Garden Map
Backlinks
Review Queue
Tags
Cards
Cards
topology
Almost Equal (ほぼ等しい) (Definition II.5.6)
Antisymmetric
Bounds and Extrema
Canonical Surjection
Cardinality Comparison
Cardinality / Equipotence
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-Base (フィルター基・底) (Definition II.2.1)
Filter Complementary Set Extension ($\mathcal{F} \setminus A$)
Filter Decomposition Theorem (Theorem II.4.1)
Filter of Cofinite Preimages ($\Gamma_\varphi$)
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
Restriction of a Filter (フィルターの制限)
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
Notes
20_Literature
calc モードの使い分け
選択公理と逆写像
Lean 4 で論理パズルを解くための 5 つのステップ
背理法と排中律
関数合成の証明スタイル
Lean 相談と支援タクティク
Mathlib 定理探索のフローチャート
Lean 論理セマンティクス
20 Literature
rfl パターンによる自動書き換え
royal_road_to_topology
Royal Road to Topology Chapter I
Royal Road to Topology Chapter II
集合
命題論理のタクティク・モード対応表
一階述語論理のタクティク・モード対応表
一階述語論理のタクティク・モード技法
タクティク・モード構築テクニック
命題論理の項モード対応表
一階述語論理の項モード対応表
一階述語論理の項モード技法
項モード構築テクニック
Notes Index
Reference
Example Reference
GitHub
Select theme
Dark
Light
Auto
Inverse Relation
QUESTION
Inverse Relation
Click to reveal answer
ANSWER
Denoted by $R^- \subset Y \times X$, defined by $x \in R^-y \iff y \in Rx$.
Click to see question
カード情報
Section titled “カード情報”
ソースノート
:
chapter1.md
カードID
: inverse-relation
状態
: active