आप करीब थे
SELECT order_id
FROM orders
WHERE product_id in (222,555)
GROUP BY order_id
HAVING COUNT(DISTINCT product_id) = 2
संबंधपरक बीजगणित में आपके "जिज्ञासा से बाहर" प्रश्न के संबंध में यह केवल डिवीजन . AFAIK no RDBMS ने ऐसा कोई एक्सटेंशन लागू नहीं किया है जो इसे SQL में उतना ही सरल बनाता है।