兩個非空集合XY存在關系f冰肴，對于集合X中的任意一個x仅偎，存在集合Y中的y與之對應，這種對應為從X到Y的映射近刘，記為
F:X->Y（其中侧戴，y稱為x在映射f下的象），記做y=f(x);x稱為y關于映射f的原象
對于任意一個軟件系統(tǒng)f跌宛，存在輸出入集合XY酗宋，對于XY中的任意一個值，存在 y = f（x）疆拘。
那么對于任一組值(x,y)記為XY蜕猫，存在一條執(zhí)行邏輯f1
可知
F邏輯上上是所有fx的集合
F = {f1,f2,f3,f4...fn}
同時可知
F為有限集
XY為無限集|或者有限集
即軟件本質上是一個無限集合對一個有限集合的映射f
