Definition:Left Subset Product Action