Cantor definierade en mängd som ”varje sammanfattning M av bestämda, definita objekt... (kallade ’elementen’ i M) till en helhet”. Att a är ett element i mängden M skrivs a ∊ M och är den grundrelation som alla andra begrepp i mängdteorin kan föras tillbaka på.