参考答案：有穷性

解析：算法的4个基本特性包括：可靠性、确定性、有穷性和拥有足够的情报。其中，算法的有穷性指的是算法必须在有限的时间内完成，即算法必须在执行有限个步骤之后终止。