Собственное подмножество - определение

Собственное подмножество - подмножество некоторого множества, которое от отлично от него самого (от "родительского" множества) - и при этом не является пустым.