1
R
⋉
S
pairs those tuples in
R
for which there is at least one tuple in
S
with matching joining key.