给定一个关系R（X，Z），X和Z为属性组
当t[X]=x时，x在R中的象集（Images Set）为：
Zx={ t[Z] | t ∈ R，t[X]=x }
它表示R中属性组X上值为x的元组在Z上分量的集合。
如R：
A B C
a1 b1 c2
a2 b3 c7
a3 b4 c6
a1 b2 c3
a4 b6 c6
a2 b2 c3
a1 b2 c1
a1的象集为｛(b1,c2),(b2,c3),(b2,c1)｝
给定一个关系R（X，Z），X和Z为属性组
当t[X]=x时，x在R中的象集（Images Set）为：
Zx={ t[Z] | t ∈ R，t[X]=x }
它表示R中属性组X上值为x的元组在Z上分量的集合。
如R：
A B C
a1 b1 c2
a2 b3 c7
a3 b4 c6
a1 b2 c3
a4 b6 c6
a2 b2 c3
a1 b2 c1
a1的象集为｛(b1,c2),(b2,c3),(b2,c1)｝