Definition:Subset Product with Singleton