Template:Finite join-closed group property

This group property is finite join-closed: a join of finitely many subgroups, each having the group property, also has the group property