単位系がなす代数系は群環だと思うが
マセマティカで集合というかリストの外積が計算できてちょっと感動できる