Template:Join-closed
Join-closedness
This subgroup property is join-closed: an arbitrary (nonempty) join of subgroups with this property, also has this property
This subgroup property is join-closed: an arbitrary (nonempty) join of subgroups with this property, also has this property