Finite-join-closed subgroup property

Definition
A subgroup property $$p$$ is termed a finite-join-closed subgroup property if, for any group $$G$$ and subgroups $$H$$ and $$K$$ of $$G$$ such that both $$H$$ and $$K$$ satisfy $$p$$ in $$G$$, we also have that the defining ingredient::join of subgroups $$\langle H, K\rangle$$ satisfies $$p$$ in $$G$$.

Stronger metaproperties

 * Weaker than::Strongly join-closed subgroup property
 * Weaker than::Join-closed subgroup property
 * Weaker than::Strongly finite-join-closed subgroup property

Weaker metaproperties

 * Stronger than::Permuting join-closed subgroup property
 * Stronger than::Normalizing join-closed subgroup property