Большая Советская энциклопедия - подмножество

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978

.