Delmängdsaxiomet är det axiom inom mängdteorin som tillåter mängder vars element har en speciell egenskap .