>>22
Q(S)→Q~(S) or A(S) |Q~ or Aは、Q上の代数的数全体からなる集合は体、とした方が、理論的には綺麗かもね
↓
Q(S)→Q~(S) or A(S) |Q~ or Aは、Q上の代数的数全体からなる体、とした方が、理論的には綺麗かもね

まあ、要するに、Q~(S) or A(S) としておけば、これはCに一致する
そして、Q~ or Aは、countable (enumerable)で、Sに対して同じ論法が成り立つ