两个非空集合XY存在关系f，对于集合X中的任意一个x，存在集合Y中的y与之对应，这种对应为从X到Y的映射，记为
F:X->Y（其中，y称为x在映射f下的象），记做y=f(x);x称为y关于映射f的原象
对于任意一个软件系统f，存在输出入集合XY，对于XY中的任意一个值，存在 y = f（x）。
那么对于任一组值(x,y)记为XY，存在一条执行逻辑f1
可知
F逻辑上上是所有fx的集合
F = {f1,f2,f3,f4...fn}
同时可知
F为有限集
XY为无限集|或者有限集
即软件本质上是一个无限集合对一个有限集合的映射f
