BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
Definition with symbols
Given two subgroup properties and , the join of and , denoted as , is defined as follows: a subgroup satisfies property in if there exist subgroups of such that satisfies in , satisfies in , and .