Ensemblo

Naiva pose axiomala ensemblo-teorio

Ensemblo es designata generaleso per mayuskula romana litero, exemple l'ensemblo ${\displaystyle E}$ .
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 ${\displaystyle A}$ , e un kelko di sua elementi, notita exemple ${\displaystyle x}$ , skribas su: ${\displaystyle x\in A}$ 

Ta enuncuro povas lektar su:

• ${\displaystyle x}$  apartenar ad ${\displaystyle A}$ ,
• ${\displaystyle x}$  es elemento di ${\displaystyle A}$ ,
• ${\displaystyle x}$  es en ${\displaystyle A}$ ,
• ${\displaystyle A}$  havas per elemento ${\displaystyle x}$ ,
• ${\displaystyle A}$  posedas ${\displaystyle x}$ ,
• od ${\displaystyle A}$  kontenas ${\displaystyle x}$ .