半順序
順序関係の一つ
定義
任意の集合$ X上の二項関係$ \leにて、が下を満たすものを半順序と呼ぶ
1. 反射律$ \forall x\in X:x\le x
2. 反対称律$ \forall x,y\in X:x\le y\land y\le x\implies x=y
3. 推移律$ \forall x,y,z\in X:x\le y\land y\le z\implies x\le z
References
位相空間問題集
#2024-03-19 13:50:26
#2023-11-25 17:31:36
#2025-01-27 15:52:54