有向图i领先j的意思是i是j的前驱，而j是i的后继。一个有向图D是指一个有序三元组为关联函数，它使A（D）中的每一个元素（称为有向边或弧）对应于V（D）中的一个有序元素（称为顶点或点）对。函数的定义通常分为传统定义和近代定义，函数的两个定义本质是相同的，只是叙述概念的出发点不同，传统定义是从运动变化的观点出发，而近代定义是从集合、映射的观点出发。函数概念含有三个要素：定义域A、值域B和对应法则f。其中核心是对应法则f，它是函数关系的本质特征。