写一个程序,用于验证集合的包含关系!