Из этого определения ясно, что набор - это подмножество самого себя; в случаях, когда этого хотят избежать, определяется термин «собственное подмножество», чтобы исключить эту возможность.
Из этого примера ясно, что набор - это подмножество самого себя. В тех случаях, когда кто-то не желает этого иметь, термин «правильное подмножество» подразумевает, что такой возможности нет.