5的集合，其中formula_1取遍定义域上的所有成员。函数图形可以帮助理解证明一些定理。注意函数图形可以有两个定义：一是三元组formula_67，其中formula_24是函数的定义域，formula_25是函数的到达域，formula_70是关系的图；二是索性以关系的图定义。用第二个定义则函数formula_6等于其图形。
像和原像.元素formula_82在formula_6之下的像就是formula_8。子集formula_85在formula_6之下的像，是以