for G being Group
for x being set
for N being normal Subgroup of G st x in Cosets N holds
x is Subset of G ;