令病毒集合为A，特征码集合为B，如果按照某种对应法则f，对于集合A中的病毒，在集合B中有特征码和它对应， 这样的法则f即为杀毒引擎。
若f为函数，满射非单射为上；双射次之；非满射非单射再次；非满射单射最末。
若f非函数，A全命中为上；否则一对一为上，一对多为下。
A中病毒是否命中为最本质区别，无论采用什么技术，其次特征码冗余度小为善，再次为速度等。
