Freespan算法定义了投影的概念:对于给定的序列A和B,如果B是A的子序列,则A关于B的投影A’必须满足B是A’的前缀,A’是A的满足上述条件的最大子序列。例如,序列A=,B=是A的一个子序列,那么,B关于A的投影为A’=。