Post #391

Пустое множество является подмножеством любого множества Само множество также является подмножеством самого себя Если подмножество некоторого множества не является пустым и не является всем множеством, говорят, что оно является собственным подмножеством