mnˈoʒystvʌ javɭʲˈɑjitsʌ nʲitrʲivʲiˈɑɭnym pʌdmnˈoʒystvʌm mnˈoʒystva , jˈesɭʲɪ javɭʲˈɑjitsʌ sˈopstvʲinnym pʌdmnˈoʒystvʌm (en)pɹˈɒpə sˈʌbsɛt(ru) ˈi .
множество  является нетривиальным подмножеством множества , если  является собственным подмножеством (proper subset)  и .