集合的交

英文

intersection of sets

简介

集合的基本运算之一.集合x的交，指由x中所有元素的共同元素构成的集合，记为∩x.故∩x={t|ᗄy∈x(t∈y)}.如∩{{0，1，}，{1，2}}={1}，∩0=V，V为集合论全域.在ZFC公理系统中，由子集公理知，任何非空集合的交均为集合.二元集合{a，b}的交记为a∩b，因此a∩b={x|x∈a∧x∈b}.