preordered set (Q78054942)
set equipped with a preorder
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | preordered set |
set equipped with a preorder |
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
–
|
|
| English | preordered set |
set equipped with a preorder |