集合的相等关系:
对于集合与,如果是的子集,且是的子集,则称集合与集合相等,记为,读作“等于”。
注:根据两集合相等的定义,有:
(1) 两集合相等,则它们所含的元素完全相同;
(2) 数学语言表述:
且。
这个关系实际上给出了证明两个集合相等的方法;
(3) 当我们要判断两个集合是否相等时,对于元素较少的有限集,可用列举法将元素列举出来,看两集合中的元素是否完全相同;若是无限集,可从“两集合互为子集”方面入手进行判断。
例如,设集合
是等腰三角形,是两边相等的三角形,
试判断这两个集合是否相等?
解 根据等腰三角形的性质与判断,等腰三角形亦是两边相等的三角形,故由能推出,即;反之,两边相等的三角形也是等腰三角形,故由能推出,即;所以
。