如图，作者这里给了一个由单点集生成的无限循环群，因为群里面的元素都是不同的，所以a不用满足特定的关系，这个群除了满足几条必须的公理之外就没有限制了，是“自由的”。现在作者要求给出形式化的定义。
楼主的问题是，对于任意不是单点集的集合A，怎么确保构造一个包含A的F({A})？（看到任意的就想用泛性质，无奈还是不会“讲”）