Template:Pure version of group property

This article defines a group property obtained by applying the purely operator (viz taking the pure group version) of the following property of groups with additional structure: