32集合间的关系 被包含关系(子集)c 1定义:A、B是集合,如果A中元素都是 B中元素,则称B包含A,A包含于B, 也称A是B的子集。记作AcB。 文氏图表示如右下图 例如,N是自然数集合, a)B R是实数集合,则NR 谓词定义: A∈B<Vx(X∈A>x∈B)3-2 集合间的关系 一.被包含关系(子集)  1.定义：A、B是集合，如果A中元素都是 B中元素，则称B包含A，A包含于B， 也称A是B的子集。记作AB。 文氏图表示如右下图。 例如，N是自然数集合， R是实数集合，则NR 谓词定义： ABx(x∈A→x∈B) A B