擬順序集合
任意の
集合
$ X
と
擬順序
$ \le
との組
$ (X,\le)
を擬順序集合と呼ぶ
前順序集合
preordered set
,
preset
https://en.wikipedia.org/wiki/Preorder#Definition
#2025-07-15
20:05:37