for G being Group
for H being strict Subgroup of G holds
( ((1). G) "\/" H = H & H "\/" ((1). G) = H )