Subgroup whose join with any distinct conjugate is the whole group

Definition
A subgroup of a group is termed a subgroup whose join with any distinct conjugate is the whole group if its join with any of its conjugate subgroups other than itself is the whole group.

Stronger properties

 * Weaker than::Normal subgroup
 * Weaker than::Maximal subgroup

Weaker properties

 * Stronger than::Pronormal subgroup:
 * Stronger than::Self-conjugate-permutable subgroup
 * Stronger than::Weakly pronormal subgroup