 If a logic is finitary and has a set of formulas with these properties, there is always a finite subset with the same properties. The logics with a set of formulas (finite or not) with properties  (1)  and  (2)  above are called protoalgebraic. Thus, every equivalential logic and every algebraizable logic are protoalgebraic.