Template:Join-closed group property

Joins
This group property is join-closed: an arbitrary join of subgroups of a group, each having the property, also has the property