JMdictDB - Japanese Dictionary DatabaseEntriesSearch | Advanced Search | New Entry | Submissions | Help |
1. |
[n]
{mathematics}
▶ total order (relation) |
2. | A 2016-05-20 18:28:30 Johan Råde <...address hidden...> | |
Diff: | @@ -13 +13 @@ -<gloss>total order</gloss> +<gloss>total order (relation)</gloss> |
|
1. | A* 2016-05-20 16:40:07 Mislav Blažević <...address hidden...> | |
Refs: | https://ja.wikipedia.org/wiki/全順序 |