a_24是函数的定义域，formula_25是函数的到达域，formula_70是关系的图；二是索性以关系的图定义。用第二个定义则函数formula_6等于其图形。
像和原像.元素formula_82在formula_6之下的像就是formula_8。子集formula_85在formula_6之下的像，是以formula_87的元素的像所组成的集合，为formula_25的一个子集，即注意formula_6的值域就是定义域formula_24的像formula_92。在