field together with a total ordering of its elements such that the set of positive elements is translation-invariant and multiplicatively closed
In matematica, e più precisamente in algebra, un campo ordinato è un campo dotato di un ordinamento totale "compatibile" con le operazioni del campo. Il concetto fu introdotto da Emil Artin nel 1927.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).