甲、乙双方约定：甲公司租乙公司的建筑施工设备，但前提是：若到年底上述设备有富余。合同中的这一前提约定在民事法律行为理论上称为（