全順序集合
集合$ Xと$ X上の全順序$ \leの組$ (X,\le)を全順序集合(totally ordered set,toset)と呼ぶ
#2025-06-03 07:30:27