Определение

Собственное подмножество

Собственное подмножество — это подмножество, которое не равно исходному множеству, то есть содержит меньше элементов.