群
group
群の公理を満たす集合