You’ve got semi joins, and you’ve got anti-semi joins.
Everyone (loosely, very loosely, everyone) knows what those do: Find a match, or confirm there isn’t one. Lemon-squeezey.
The big question is, what do you call the style of join that requires a full enumeration on both sides? Erik tries out a series of ideas before landing on Omni-joins. I like the term.