集合環
集合環を以下のような条件によって定義することもできる。