Intersection ∩

The intersection of two sets (i^i S T) is a set containing the elements that are in both sets.

(=_ (i^i S T) ({|} x (/\ (e. x S) (e. x T)))) /edit/peano_new/set_min.ghi/df-in

Properties

Set Theory Overview

Login to edit