Current Data About
preordered set
other details
| description | set equipped with a preorder |
External Links
| (P10376) |
mathematics/preordered-set
|
| (P12888) |
df-proset
|