Definition:Right Subset Product Action