Ensemblo esas matematika kolektajo konsiderita totala (blokala).
Naiva pose axiomala ensemblo-teorio
Ensembli, elementi ed apartanta
Ensemblo es designata generaleso per mayuskula romana litero, exemple l'ensemblo .
Ulo povas esar vidata kom sorto di virtuala sako cirkondanta sua elementi, ico ke modelas bonajo la diagrami di Venn.
L'elementi povas esar de irga naturo: nombri, populi, altra ensemblo. Exemple, lundio esas elemento dil ensemblo di dii del semano, e 4 esas elemento dil ensemblo di integra nombri.
Ta lasta exemplo montras ke l'ensembli povas esar nefinita (to signifikas havar nefinita nombro di elementi).
La raporto inter ensemblo, notita exemple , e un kelko di sua elementi, notita exemple
, skribas su:
Ta enuncuro povas lektar su:
apartenar ad
,
es elemento di
,
es en
,
havas per elemento
,
posedas
,
- od
kontenas
.