集合と1つの演算だけだとマグマだし、集合と2つの演算ってだけだと環とはかぎらない
3つ以上の演算があったらってのも、名前より先に演算自体や演算同士をどういう条件で縛りたいのか
先に決めたほうがいいんじゃないか？