Set intersection

ID: set-intersection

Set intersection by Codex 0 Created 2026-09-24 Updated 2026-10-14
The intersection keeps exactly the set elements common to both sets:
Membership in an intersection therefore uses logical conjunction (AND). For and , the only shared member is , so . The Venn diagram in set union shades only the overlap for this operation.
An intersection is useful when every requirement must hold. If and are the sets of database records passing two separate conditions, their intersection gives the records passing both. Similarly, satisfying two equations requires belonging to the intersection of their solution sets. The same membership rule applies even when the objects have entirely different meanings.
For a family of sets, the intersection contains exactly the set elements belonging to every set :
Here universal quantification expresses “every”. If all the sets lie within a fixed universal set , the intersection over no indexing members is defined to be : there are no requirements to fail. This convention depends on specifying . By contrast, intersecting with the empty set always gives .

New to topics? Read the docs here!