Delmängd är ett begrepp inom mängdteorin. är en delmängd av om alla element som ingår i även ingår i . Detta skrivs . Varje mängd är en delmängd av sig själv och den tomma mängden ø är en delmängd av alla mängder. Om och så följer .