Теорема о свойствах отношения подмножественности


 * отношение подмножественности является рефлексивным отношением
 * отношение подмножественности является антисимметричным отношением
 * отношение подмножественности является транзитивным отношением