en real number system
― IsA ⟶
Weight: 1.0
en archimedean ordered field (n) Source: English Wiktionary
en archimedean ordered field (n)
― IsA ⟶
Weight: 1.0
en ordered field Source: English Wiktionary