给定一个关系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)｝