真正包容的问题
{1，2，3}包含在A中，那么A中至少有1，23个元素。
A确实包含在{1，2，3，5，6，7}中，那么A就是{1，2，3，5，6，7}的真子集。
综上，A是{1，2，3，5，6，7}至少有1.23的真子集。
a可能是{1，2，3} {1，2，3，5} {1，2，3，6} {1，2，3，7}
{1,2,3,5,6} {1,2,3,5,7} {1,2,3,6,7} 7.
A确实包含在{1，2，3，5，6，7}中，那么A就是{1，2，3，5，6，7}的真子集。
综上，A是{1，2，3，5，6，7}至少有1.23的真子集。
a可能是{1，2，3} {1，2，3，5} {1，2，3，6} {1，2，3，7}
{1,2,3,5,6} {1,2,3,5,7} {1,2,3,6,7} 7.