如何编写SQL查询来检查一个表上的多对多关系是否是另一个表上多对多关系的子集?

I have some models as follows:

我有一些模型如下:

Product:
  id
  name
  price

Order:
  id
  user
  created

OrderProduct:
  order_id
  product_id

Promo:
  id
  discount

PromoProduct:
  promo_id
  product_id
Pr