Любое ___________ подмножество B множества A, не совпадающее со множеством A, называется собственным подмножеством.
Может, имелось в виду нетривиальное
Либо по определению не совпадающее с множеством B