for G being Group
for A, B being non empty Subset of G
for N being Subgroup of G
for x being Element of G st x in N ~ (A * B) holds
x * N meets A * B