习题 1, § 3
标签 0BVS，永久不变。引用为 [Bourbaki, Tag 0BVS]。
一般拓扑, V
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
如果元素 的集合 （ 的单位元素）满足公理 (GR_{IV})，则线性有序群 （不一定可交换）被称为*阿基米德* § 2。 证明线性有序群 同构于加法群 的子群当且仅 是阿基米德（根据 中元素 的集合有或没有来区分两种情况） 最小的元素和应用命题§ 2中的1个）。
解答
尚未写出解答。