设f是从集合X到集合Y的映射，若R_f＝Y，即Y中任一元素y都是X中某元素的像，则称f为X到Y上的映射或者满射；若对X中任意两个不同元素x1≠x2，它们的像f(x1)≠f(x2)，则称f为X到Y的单射；若映射f既是单射，又是满射，则称f为一一映射（或者双射）。

由所有属于A集合而不属于B集合的元素组成的集合，称为A与B的差集（简称差），记作A\B，即

A\B ＝ {x|x ∈ A 且 x ∉ B};

且有

A\(A\B)=A∩B.