概ねそれで良いが、自明な群〈0〉を忘れてるな