Test Existence for Each Outer Row
A correlated subquery references the current outer row in its inner condition. EXISTS is true when the inner query finds a matching row; NOT EXISTS is true when it finds none.
Which operator selects products with no matching order item?