Template:Set-theoretic sub-APS property

This article gives a property of a sub-APS in an APS of groups, where the condition is purely set-theoretic in terms of the concatenation maps