conditional equation

views updated

conditional equation An expression of the form e1 & … & ene,

which means that if the equations e1,…, en 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.