本书暂定概念:尚未进入正式概念库。下面是本书给出的定义原文。

定义 · 4.4 多面体的基本群

不含任何字母的字称为空字(empty word),记作 1。例如,将 约化即得到空字。

出处:4.4 多面体的基本群 · node a-5852f50fb3e33189a874190c · 源节点 SHA-256 6f5b9e601db04dd3…