Подмножество множества А (математическое), любое множество, каждый элемент которого принадлежит А. Например, множество всех чётных чисел является Подмножество множества всех целых чисел. Если к числу множеств причислить «пустое» множество, совсем не содержащее элементов, то, в силу определения, его следует считать Подмножество любого другого множества. Само множество А и пустое множество называются иногда несобственными Подмножество, остальные же Подмножество — собственными. См.также Множеств теория .