自由加群
上で定義された写像 ι: E → C(E) は次のような意味で普遍的である。