The binary operation INTERSECTION, denoted by , creates a relation that includes all tuples that are in both operands.

The result of is a relation that includes all tuples that are both in and .