象集的本質是一次選擇運算和一次投影運算。
例如關系模式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)}