函数就是两个集合值之间对应的确定性关系。在抽象的关系层面，函数和两点连成一线，在本质上并没有区别。在线段的两个端点上，此两点构成充要关系。那么一条线段，其实表示了因果关系，充要关系，次序关系，方向关系，对立关系，统一关系，构成关系。充分必要是等价，即以比较的特殊形式建立比较的基准，必要不充分是单射性与充分不必要共生，同时创造信息压缩的可能，而充分不必要的本质是整体的部分特征化，这正是数学能建模描述，进行算法抽象的一个根本特性。