解一道离散数学中的集合证明题

问题描述:

解一道离散数学中的集合证明题
设A,B,C为集合,且A包含于B,B包含于C,证明A包含于C

A 包含于B,相当于:任意的集合A中的元素属于 B
B包含于C,等价于:集合B中的任意元素属于C.
于是,对于集合A中的任意元素x,x属于集合B; 因为x属于B,B包含于C,所以x属于C.
所以,A 包含于C.