直積
集合、空間、群、巡回群、テーブル、状態、環、集合論、コーツ則、基底