Определение
Собственное подмножество
Собственное подмножество — это подмножество, которое не равно исходному множеству, то есть содержит меньше элементов.
В статье
Множества и операции с ними
Что такое множество и как работают операции над множествами? Равенство и подмножества, объединение, пересечение, разность, дополнение и ключевые теоремы.