ordered ring

ring with a compatible total order

en-GB/ˈɔːdəd ˈɹɪŋ/
en-US/ˈɔɹdɚd ˈɹɪŋ/

カテゴリ：

partially ordered ring