Union

From Maths
Revision as of 15:44, 20 December 2015 by Alec (Talk | contribs) (Created page with "==Definition== Given a collection of sets {{M|\{S_\alpha\}_{\alpha\in A} }} their union is: * {{MM|1=\bigcup_{\alpha\in A}S_\alpha}} with the characteristic property that: **...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

Given a collection of sets [ilmath]\{S_\alpha\}_{\alpha\in A} [/ilmath] their union is:

  • [math]\bigcup_{\alpha\in A}S_\alpha[/math] with the characteristic property that:
    • [math]x\in\bigcup_{\alpha\in A}S_\alpha\iff\exists\beta\in A[x\in S_\beta][/math]

Immediate results

References



TODO: Flesh this out