TDP015 Lektion 3: Heltal, mängdlära