Article · 日本語
抽象代数学において、順序環（じゅんじょかん、英: Ordered ring）は、演算と両立するような全順序が定義された（通常は可換な）環を言う。即ち、R が順序環であるとき、任意の元 a, b, c ∈ R に対し、以下の二つが成り立つ。 * a ≤ b ならば a + c ≤ b + c. * 0 ≤ a かつ 0 ≤ b ならば 0 ≤ ab.
Abstract from DBpedia / Wikipedia · CC BY-SA
抽象代数学において、順序環（じゅんじょかん、英: Ordered ring）は、演算と両立するような全順序が定義された（通常は可換な）環を言う。即ち、R が順序環であるとき、任意の元 a, b, c ∈ R に対し、以下の二つが成り立つ。 * a ≤ b ならば a + c ≤ b + c. * 0 ≤ a かつ 0 ≤ b ならば 0 ≤ ab.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).