集合半環
集合半環の生成する集合環とは以下の如く容易に記述できる :