Template:Abelian group subset property