((join G') -v- (M γ) -v- φ)
for ((join G') -v- (M γ) -v- φ)
for ((join G') -v- (M γ) -v- φ)
for + For all ρ, γ, φ in T, + where φ is a transformation from F to MF', + γ is a transformation from G to MG', + ρ is a transformation from R to MR', + and F'=G and G'=R: (i') ((join G') (M γ) φ) etc also in T