象集的本质是一次选择运算和一次投影运算。
例如关系模式R(X, Y),X和Y表示互为补集的两个属性集,对于遵循模式R的某个关系A,
当t[X]=x时,x在A中的象集(Images Set)为:
Zx={ t[Z] | t ∈ A,t[X]=x }
它表示:A中X分量等于x的元组集合在属性集Z上的投影。
如A:
X Y Z
a1 b1 c2
a2 b3 c7
a3 b4 c6
a1 b2 c3
a4 b6 c6
a2 b2 c3
a1 b2 c1
a1在A中的象集为{(b1,c2),(b2,c3),(b2,c1)}