NISHIO Hirokazu[日本語][English]

半順序

see 順序集合 - Wikipedia

(C)NISHIO Hirokazu / Converted from Markdown (ja)
Source: [GitHub] / [Scrapbox]