Exegesis. why extends to $F(S)$ [1303A]
Exegesis. why extends to $F(S)$ [1303A]
By the construction of $F(S)$ from elements of $F \cup S$ in Proposition 1302, obviously $\varphi = id_{F(S)}$.
By the construction of $F(S)$ from elements of $F \cup S$ in Proposition 1302, obviously $\varphi = id_{F(S)}$.