ordered ring

ring with a compatible total order

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

Categories:

partially ordered ring