真子集

zhēnzǐjí

мат. истинное подмножество, собственное подмножество (proper subset)