2元体 F_2 の代数閉包が ∪[k=1 to ∞] F_2^k になるらしいんだけど
どうやって演算入れてんの?