Union ∪

The union of two sets (u. S T) is a set containing all the elements in either set.

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

Properties

Set Theory Overview

Login to edit