ordered ring

ring with a compatible total order

Danh mục: