An expression of the form

which means that if the equations e₁,…, e_n hold then the equation e holds. Conditional equations have many properties in common with equations; in particular, sets of conditional equations possess initial algebras and generalizations of Birkhoff’s completeness theorem.