en total ordering (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 | ||
en de morgan algebra |
― IsA ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en distributive lattice (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: OpenCyc 2012 |