Join-closure operator

Definition
The join-closure operator takes a subgroup property $$p$$ and outputs the property of being a subgroup that can be expressed as a join of (possibly infinitely many) subgroups, each having property $$p$$ in the whole group.