Hay un único grupo de orden 2, excepto por isomorfismos.