A group property is something that every group either satisfies or does not satisfy. Group properties must satisfy the condition of isomorphism invariance: if ${\displaystyle G_{1}}$ and ${\displaystyle G_{2}}$ are two isomorphic groups, they either both have the property or both do not have the property.