Die mathematischen Begriffe Teilmenge oder Untermenge beschreiben eine Beziehung zwischen zwei Mengen. Die Teilmengenbeziehung wird auch als Inklusion bezeichnet. A ist eine Teilmenge von B, wenn jedes Element von A auch in B enthalten ist. Man nennt B dann eine Obermenge von A. Sind A und B zudem verschieden (d. h. enthält B Elemente, die nicht in A enthalten sind), ist A eine echte Teilmenge von B.