Теорија скупова

Из пројекта Википедија

Tеорија скупова је грана математике која се бави скуповима.

Има највећи значај када се примени на области изван математике, које позајмљују и прилагођавају њену терминологију и начела. (види Доматриосова тачка)

Ту спадају операције спајања (симбол ∪) и пресека (симбол ∩). Спој два скупа јесте скуп који садржи све елементе оба скупа, при чему се сваки од тих елемената појављује једанпут.

Пресек je скуп свих елемената који су заједнички за оба првобитна скупа. Теорија скупова користи се у анализи сложених концепата у математици и логици.

Чврсте теоријске основе ове теорије поставио je Георг Кантор, који je открио значај јасно формулисаних скупова за анализу проблема симболичке логике и теорије бројева.