リスト/セットが別のリストに含まれているかどうかを確認する方法

あなたは近かった

SELECT order_id
FROM orders
WHERE product_id in (222,555) 
GROUP BY order_id
HAVING COUNT(DISTINCT product_id) = 2

関係代数での「好奇心から」の質問に関しては、これは Division 。 AFAIK no RDBMSは、これをSQLで簡単にする拡張機能を実装していません。