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.