theorem :: GROUP_11:23

for G being Group
for A, B being non empty Subset of G
for N being Subgroup of G holds (N ` A) \/ (N ` B) c= N ` (A \/ B)