A relation symbol
A function symbol.
A formula expressing that rel is a congruence w.r.t. the binary function symbol f.
A function symbol.
A formula expressing that = is a congruence w.r.t. the binary function symbol f.
A relation symbol.
A function symbol.
A formula expressing that rel is a congruence w.r.t. the unary function symbol f.
A function symbol.
A formula expressing that = is a congruence w.r.t. the unary function symbol f.
Contains definitions related to arithmetic.
A relation symbol
A formula expressing the reflexivity of rel.
A formula expressing the reflexivity of =.
A relation symbol
A formula expressing the symmetry of rel.
A formula expressing the symmetry of =.
A relation symbol
A formula expressing the transitivity of rel.
A formula expressing the transitivity of =.
Contains some commonly used formulas.