関数同士の演算を定義してそれが環の公理系を満たすってことか?