Подмножество

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